diff options
Diffstat (limited to 'jjb/scripts')
-rw-r--r-- | jjb/scripts/vpp/arm-build-no-test.sh | 6 | ||||
-rw-r--r-- | jjb/scripts/vpp/arm-build.sh | 6 |
2 files changed, 12 insertions, 0 deletions
diff --git a/jjb/scripts/vpp/arm-build-no-test.sh b/jjb/scripts/vpp/arm-build-no-test.sh index 94cc82449..ae5aa34d3 100644 --- a/jjb/scripts/vpp/arm-build-no-test.sh +++ b/jjb/scripts/vpp/arm-build-no-test.sh @@ -1,4 +1,10 @@ #!/bin/bash + +# This script wants environment variables +# set by parallel-vars.sh script. +# Otherwise "make test" is not parallelized, +# possibly leading to jobs overstepping their time limit. + # basic build script example set -xe -o pipefail diff --git a/jjb/scripts/vpp/arm-build.sh b/jjb/scripts/vpp/arm-build.sh index 9de736ae0..2abe6105d 100644 --- a/jjb/scripts/vpp/arm-build.sh +++ b/jjb/scripts/vpp/arm-build.sh @@ -1,4 +1,10 @@ #!/bin/bash + +# This script wants environment variables +# set by parallel-vars.sh script. +# Otherwise "make test" is not parallelized, +# possibly leading to jobs overstepping their time limit. + # basic build script example set -xe -o pipefail |