diff options
Diffstat (limited to 'tools/build_test.sh')
| -rwxr-xr-x | tools/build_test.sh | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/tools/build_test.sh b/tools/build_test.sh index b401a2bcd..4528ed156 100755 --- a/tools/build_test.sh +++ b/tools/build_test.sh @@ -33,7 +33,7 @@ set -o errexit -BUILDDIR="build-tmp-$$" +build_dir="build-tmp-$$" if [ $# -ge 1 ]; then BUILDARGS="$*" @@ -48,8 +48,8 @@ run () set -x # create build directory -mkdir "$BUILDDIR" -cd "$BUILDDIR" +mkdir "${build_dir}" +cd "${build_dir}" run cmake .. -DENABLE_MAN=ON -DENABLE_DOC=ON -DENABLE_TESTS=ON "${BUILDARGS}" if [ -f "build.ninja" ]; then |