diff options
Diffstat (limited to 'jenkins-helpers.sh')
-rw-r--r-- | jenkins-helpers.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/jenkins-helpers.sh b/jenkins-helpers.sh index 389b7092..4c531798 100644 --- a/jenkins-helpers.sh +++ b/jenkins-helpers.sh @@ -688,8 +688,8 @@ print_memory_limit () local memory case "$task" in build) - # 1GB per compilation core - memory=$(( 1000 * $weight * $nproc )) + # 2GB per compilation core + memory=$(( 2000 * $weight * $nproc )) if [ "$memory" -gt "30000" ]; then memory="30000" fi |