aboutsummaryrefslogtreecommitdiffhomepage
diff options
context:
space:
mode:
-rw-r--r--.travis-ci.sh2
1 files changed, 1 insertions, 1 deletions
diff --git a/.travis-ci.sh b/.travis-ci.sh
index b3e0744..ddfa93d 100644
--- a/.travis-ci.sh
+++ b/.travis-ci.sh
@@ -74,6 +74,6 @@ elif [[ $TASK = 'sanitize' ]]; then
else
# Otherwise compile as normal
travis_fold start "make"
- make;
+ make full;
travis_fold end "make"
fi