diff options
Diffstat (limited to 'dev-lang/mercury/files/mercury-0.12.2-parallel-install_grades.patch')
| -rw-r--r-- | dev-lang/mercury/files/mercury-0.12.2-parallel-install_grades.patch | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/dev-lang/mercury/files/mercury-0.12.2-parallel-install_grades.patch b/dev-lang/mercury/files/mercury-0.12.2-parallel-install_grades.patch deleted file mode 100644 index b2d3f0e181fa..000000000000 --- a/dev-lang/mercury/files/mercury-0.12.2-parallel-install_grades.patch +++ /dev/null @@ -1,14 +0,0 @@ ---- mercury-compiler-0.12.2.orig/scripts/Mmake.rules 2005-01-28 20:11:58.000000000 +1300 -+++ mercury-compiler-0.12.2/scripts/Mmake.rules 2006-10-23 15:56:28.000000000 +1300 -@@ -509,9 +509,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 \ |