From 74630848398dfc1d924026f2d5775ebe623d5983 Mon Sep 17 00:00:00 2001 From: Romain Goyet Date: Thu, 1 Feb 2018 16:43:46 +0100 Subject: [PATCH] Update the Travis script --- .travis.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.travis.yml b/.travis.yml index 2565c38db..53726ba2c 100644 --- a/.travis.yml +++ b/.travis.yml @@ -17,5 +17,5 @@ matrix: os: linux script: -- make clean && make app.$EXT test.$EXT +- make clean && make epsilon.$EXT test.$EXT - if [ "$PLATFORM" = "blackbox" ]; then ./test.$EXT; fi