Massive parallelism if running on teraram.

d8678f60 · POTTIER Francois · fbaca9e2 · d8678f60
Commit d8678f60 authored Sep 24, 2015 by POTTIER Francois
Hide whitespace changes
Inline Side-by-side

Showing with 7 additions and 2 deletions

bench/good/Makefile bench/good/Makefile +7 -2

No files found.
--- a/bench/good/Makefile
+++ b/bench/good/Makefile
@@ -105,8 +105,13 @@ clean::
 # ------------------------------------------------------------------------------
 # Testing LRijkstra, that is, menhir --list-errors.

-TIMEOUT  := 2
-PARALLEL := -j4
+ifeq ($(shell hostname),teraram)
+  TIMEOUT  := 2
+  PARALLEL := -j40
+else
+  TIMEOUT  := 2
+  PARALLEL := -j4
+endif

 SINGLE    = $(shell ls *.mly | egrep -v '.*-([1-9]).mly')