Commit b2322f86 authored by POTTIER Francois's avatar POTTIER Francois

Massive parallelism if running on teraram.

parent fbaca9e2
......@@ -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')
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment