diff --git a/tools/local_install.sh b/tools/local_install.sh index aaf67b50..1831b8da 100755 --- a/tools/local_install.sh +++ b/tools/local_install.sh @@ -7,4 +7,6 @@ if [ -z "${PYTHON}" ]; then which python2.7 >/dev/null 2>&1 && PYTHON=$(which python2.7) fi +${PYTHON} "$(dirname $0)/stale_pyc.py" + exec "${PYTHON}" "$(dirname $0)/local_install.py" "$@"