diff --git a/.travis/dobuild.sh b/.travis/dobuild.sh index 0d14543a3f..a493a5aa9e 100755 --- a/.travis/dobuild.sh +++ b/.travis/dobuild.sh @@ -2,7 +2,7 @@ ./configure -m=$TARGET_MACHINE make -( cd ${TARGET_MACHINE}/mats && make all 2>&1 ) | tee Make.out | grep '^matting ' +( cd ${TARGET_MACHINE}/mats && make partialx 2>&1 ) | tee Make.out | grep '^matting ' echo "exit code: $?" cat ${TARGET_MACHINE}/mats/summary diff .travis/summary ${TARGET_MACHINE}/mats/summary