diff --git a/build.sh b/build.sh index 4e55df72b402e7b95c1792a38f3db623836b7f0f..fb396566a9f5a5fac62e044373d59e07c19fa8fc 100644 --- a/build.sh +++ b/build.sh @@ -15,9 +15,6 @@ set -e -BASEPATH=$(cd "$(dirname $0)"; pwd) -OUTPUT_PATH="${BASEPATH}/output" -PYTHON=$(which python3) mk_new_dir() { local create_dir="$1" # the target to make