increase memory; work on #35

geneontology · Jan 25, 2019 · 7157408 · 7157408
1 parent 071d9d7
commit 7157408
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -197,7 +197,7 @@ pipeline {
 		    sh 'chmod +x bin/*'
 
 		    //
-		    withEnv(['PATH+EXTRA=:bin:./bin']){
+		    withEnv(['PATH+EXTRA=:bin:./bin', 'JAVA_OPTS=-Xmx128G', 'OWLTOOLS_MEMORY=128G', 'BGMEM=128G']){
 			retry(3){
 			    sh 'make clean all'
 			}