diff options
Diffstat (limited to 'build-aux/travis-build.sh')
| -rwxr-xr-x | build-aux/travis-build.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/build-aux/travis-build.sh b/build-aux/travis-build.sh index 429622a..70b2475 100755 --- a/build-aux/travis-build.sh +++ b/build-aux/travis-build.sh @@ -11,7 +11,6 @@ rm -rf build mkdir -p build pushd build > /dev/null - ../configure \ CFLAGS="-Wall -g -O0" \ --enable-ronn \ @@ -20,5 +19,6 @@ pushd build > /dev/null --enable-valgrind \ --enable-git-receiver \ --enable-runserver +popd > /dev/null make -C build "${TARGET}" |