12 lines
383 B
Diff
12 lines
383 B
Diff
--- a/Makefile.in 2013-07-13 11:02:24.357886569 +0200
|
|
+++ b/Makefile.in 2013-07-13 11:03:02.057885447 +0200
|
|
@@ -21,7 +21,8 @@
|
|
|
|
# Set a default value (ignored if set in the environment)
|
|
PROCESSORS?=1
|
|
-GNATMAKE=@gnatmake@ -j${PROCESSORS}
|
|
+GNATFLAGS ?=
|
|
+GNATMAKE=@gnatmake@ ${GNATFLAGS}
|
|
|
|
# Compiler mode: one of "distrib", "debug", "optimize", "profile", "coverage"
|
|
MODE=distrib
|