diff options
Diffstat (limited to 'tools/check_builds.sh')
| -rw-r--r-- | tools/check_builds.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/check_builds.sh b/tools/check_builds.sh index fd380dd..c255bf0 100644 --- a/tools/check_builds.sh +++ b/tools/check_builds.sh @@ -41,7 +41,7 @@ function do_builds do rm -rf $TEST_BUILD_DIR/$PREFIX-$1 make PRODUCT-$(echo $1 | sed "s/-.*//" )-installclean - make -j6 PRODUCT-$1 dist DIST_DIR=$TEST_BUILD_DIR/$PREFIX-$1 + make -j16 PRODUCT-$1 dist DIST_DIR=$TEST_BUILD_DIR/$PREFIX-$1 if [ $? -ne 0 ] ; then echo FAILED return |