--- 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