diff options
Diffstat (limited to '.travis.yml')
| -rw-r--r-- | .travis.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.travis.yml b/.travis.yml index 7eea956..d4a7d8c 100644 --- a/.travis.yml +++ b/.travis.yml @@ -13,4 +13,4 @@ before_install: - sudo apt-get install -qq swi-prolog - wget http://uscxml.tk.informatik.tu-darmstadt.de || true -script: mkdir build && cd build && cmake .. && make +script: mkdir build && cd build && cmake .. && make && ctest |