diff options
Diffstat (limited to 'dev-lang/mercury/files/mercury-0.13.0-MAKEOPTS.patch')
| -rw-r--r-- | dev-lang/mercury/files/mercury-0.13.0-MAKEOPTS.patch | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/dev-lang/mercury/files/mercury-0.13.0-MAKEOPTS.patch b/dev-lang/mercury/files/mercury-0.13.0-MAKEOPTS.patch new file mode 100644 index 000000000000..ac3c8b79d949 --- /dev/null +++ b/dev-lang/mercury/files/mercury-0.13.0-MAKEOPTS.patch @@ -0,0 +1,11 @@ +--- mercury-compiler-0.13.0.orig/Makefile 2005-08-22 15:38:34.000000000 +1200 ++++ mercury-compiler-0.13.0/Makefile 2006-09-16 11:24:58.000000000 +1200 +@@ -15,7 +15,7 @@ + # + #-----------------------------------------------------------------------------# + +- ++PARALLEL= $(MAKEOPTS) + SHELL= /bin/sh + MMAKE= MMAKE_DIR=`pwd`/scripts scripts/mmake + MMAKE_SUBDIR= MMAKE_DIR=`pwd`/../scripts ../scripts/mmake $(PARALLEL) |