diff options
| -rwxr-xr-x | .travis-ci.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/.travis-ci.sh b/.travis-ci.sh index a3977baefc..5c2cb8728e 100755 --- a/.travis-ci.sh +++ b/.travis-ci.sh @@ -79,6 +79,8 @@ EOF # we would need to redo (small parts of) world.opt afterwards to # use the compiler again $MAKE check_all_arches + # check that the 'clean' target also works + $MAKE clean } CheckChangesModified () { |