diff options
-rwxr-xr-x | test-art-host-test.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test-art-host-test.sh b/test-art-host-test.sh index e94fc68..69c7448 100755 --- a/test-art-host-test.sh +++ b/test-art-host-test.sh @@ -25,7 +25,7 @@ export ART_TEST_RUN_TEST_DEBUG=false export ART_TEST_RUN_TEST_NDEBUG=true export ART_USE_OPTIMIZING_COMPILER=true failed=0 -make -j8 $MAKE_TARGETS > $WORKSPACE/build-logs.txt 2>&1 +make -j4 $MAKE_TARGETS > $WORKSPACE/build-logs.txt 2>&1 if [[ $? -ne 0 ]]; then echo "Error: *** Error make failed" |