diff options
Diffstat (limited to '.travis-ci.sh')
| -rw-r--r-- | .travis-ci.sh | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/.travis-ci.sh b/.travis-ci.sh index ddfa93d..da36c17 100644 --- a/.travis-ci.sh +++ b/.travis-ci.sh @@ -71,6 +71,11 @@ elif [[ $TASK = 'sanitize' ]]; then travis_fold start "make_sanitize" make sanitize; travis_fold end "make_sanitize" +elif [[ $TASK = 'windows' ]]; then + # Run sanitized compile + travis_fold start "make_windows" + make windows; + travis_fold end "make_windows" else # Otherwise compile as normal travis_fold start "make" |