diff options
Diffstat (limited to 'infrastructure/travis-build.sh')
-rwxr-xr-x | infrastructure/travis-build.sh | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/infrastructure/travis-build.sh b/infrastructure/travis-build.sh index f4cd4ef4..aa9f62c2 100755 --- a/infrastructure/travis-build.sh +++ b/infrastructure/travis-build.sh @@ -11,5 +11,11 @@ cd `dirname $0`/.. grep CXX config.status make V=1 ./runtest.pl ALL $TEST_TARGET +# When making a release build, also check that we can build the default +# target and "parcels" (which is the same thing): +if [ "$TEST_TARGET" = "release" ]; then + make + make parcels +fi ccache -s |