diff options
Diffstat (limited to '.travis/targets/make-embedded.sh')
-rw-r--r-- | .travis/targets/make-embedded.sh | 16 |
1 files changed, 3 insertions, 13 deletions
diff --git a/.travis/targets/make-embedded.sh b/.travis/targets/make-embedded.sh index b2d3f80..d83c88a 100644 --- a/.travis/targets/make-embedded.sh +++ b/.travis/targets/make-embedded.sh @@ -1,15 +1,5 @@ build() { - pushd build > /dev/null - ../configure \ - CFLAGS="-Wall -g -O0" \ - --enable-ronn \ - --disable-silent-rules \ - --enable-tests \ - --enable-valgrind \ - --enable-git-receiver \ - --enable-make-embedded \ - --enable-runserver - popd > /dev/null - - make -C build check + default_configure \ + --enable-make-embedded + make check } |