diff --git a/bin/compile b/bin/compile index 407a18c776c4da5996be49ccea94519bb42b79e5..bb6cc1cd0cc997cb181d86a2d7e92433fd9126d1 100755 --- a/bin/compile +++ b/bin/compile @@ -7,7 +7,7 @@ set -eo pipefail # which python # Testing. -export PATH=:/usr/local/bin:/usr/local/sbin:/usr/bin:/bin:/usr/sbin:/sbin +export PATH=:/usr/local/bin:/usr/local/sbin:/usr/bin:/bin:/usr/sbin:/sbin:$PATH BIN_DIR=$(cd $(dirname $0); pwd) # absolute path ROOT_DIR=$(dirname $BIN_DIR)