diff --git a/.travis.yml b/.travis.yml index f7ded5e56..45a7cb153 100644 --- a/.travis.yml +++ b/.travis.yml @@ -9,10 +9,8 @@ addons: - libevent-dev - libexpat-dev - clang - - gdb script: - ./configure --enable-debug --disable-flto - make - make test - - gdb -batch ./testbound -ex "r -p testdata/rpz_respip.rpl" -ex "bt" - (cd testdata/clang-analysis.tdir; bash clang-analysis.test)