diff options
Diffstat (limited to '.travis-ci.sh')
| -rw-r--r-- | .travis-ci.sh | 2 |
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 |