diff options
Diffstat (limited to 'dev-lang/mercury/files/mercury-0.13.1-parallel-install_grades.patch')
| -rw-r--r-- | dev-lang/mercury/files/mercury-0.13.1-parallel-install_grades.patch | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/dev-lang/mercury/files/mercury-0.13.1-parallel-install_grades.patch b/dev-lang/mercury/files/mercury-0.13.1-parallel-install_grades.patch deleted file mode 100644 index 0c6570df9c98..000000000000 --- a/dev-lang/mercury/files/mercury-0.13.1-parallel-install_grades.patch +++ /dev/null @@ -1,14 +0,0 @@ ---- mercury-compiler-0.13.1.orig/scripts/Mmake.rules 2006-11-03 18:42:28.000000000 +1300 -+++ mercury-compiler-0.13.1/scripts/Mmake.rules 2006-12-04 21:35:40.000000000 +1300 -@@ -505,9 +505,9 @@ - *.a *.so tmp_dir || true; } && \ - for grade in $(ALL_LIBGRADES); do \ - if [ "$$grade" != "$(GRADE)" ]; then \ -- $(MMAKE) GRADE=$$grade $*.depend || \ -+ $(MMAKE) $(MMAKEFLAGS) GRADE=$$grade $*.depend || \ - exit 1; \ -- $(MMAKE) GRADE=$$grade lib$*.install_library || \ -+ $(MMAKE) $(MMAKEFLAGS) GRADE=$$grade lib$*.install_library || \ - exit 1; \ - for file in x $$grade_files; do \ - if [ "$$file" != "x" ]; then \ |