Blame env/run.sh

10e43d
#!/bin/bash
10e43d
e7b20d
SCRIPT_DIR=$(cd `dirname "$0"`; pwd)
10e43d
a80e72
if [ "$PLATFORM" = "win" ]; then
89a23b
    "$SCRIPT_DIR/debian-7-64bit/run.sh" "$@"
a80e72
elif [ "$ARCH" = "32" ]; then
a80e72
    "$SCRIPT_DIR/debian-7-32bit/run.sh" "$@"
3b09af
else
a80e72
    "$SCRIPT_DIR/debian-7-64bit/run.sh" "$@"
cc5124
fi