diff options
| author |   Vratko Polak <vrpolak@cisco.com> | 2020-06-01 14:54:00 +0000 |
|---|---|---|
| committer |   Gerrit Code Review <gerrit@fd.io> | 2020-06-01 14:54:00 +0000 |
| commit | 1cc9d8859f18de6bf3c6b685b0eb21cbbc4c92ff (patch) | |
| tree | 71d3b770f1676d8dbf2c5f5f75c79ec4ffea1bc1 /jjb/scripts/vpp/build.sh | |
| parent | 9da67d4b8e0f47bcd50e2ec70b72bf06a0b6e908 (diff) | |
| parent | 9f2d4cec9b9db1ebbcf1c5bbbf7fa54170006208 (diff) | |
Merge "Add MAKE_PARALLEL_JOBS parameter"
Diffstat (limited to 'jjb/scripts/vpp/build.sh')
| -rw-r--r-- | jjb/scripts/vpp/build.sh | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/jjb/scripts/vpp/build.sh b/jjb/scripts/vpp/build.sh index 6fdaec133..9fd989fd1 100644 --- a/jjb/scripts/vpp/build.sh +++ b/jjb/scripts/vpp/build.sh @@ -40,6 +40,11 @@ echo "IS_CSIT_VPP_JOB=${IS_CSIT_VPP_JOB}" # If and only if we are doing verify *after* make verify was made to work # and we are not a CSIT job just building packages, then use make verify, # else use make pkg-verify. +if [ "x${MAKE_PARALLEL_JOBS}" != "x" ] +then + echo "Building with MAKE_PARALLEL_JOBS=${MAKE_PARALLEL_JOBS}" +fi + if (git log --oneline | grep 37682e1 > /dev/null 2>&1) && \ [ "x${IS_CSIT_VPP_JOB}" != "xTrue" ] then |