diff options
author | Keri Harris <keri@gentoo.org> | 2008-09-23 06:17:36 +0000 |
---|---|---|
committer | Keri Harris <keri@gentoo.org> | 2008-09-23 06:17:36 +0000 |
commit | a673e29adb46e82049476985fc3ca9833ae03671 (patch) | |
tree | 2ab3e712cce273d81858c3576c844a62bc36b777 /dev-lang/mercury/files/mercury-0.13.1-rebuild-mslice.patch | |
parent | version bump (diff) | |
download | historical-a673e29adb46e82049476985fc3ca9833ae03671.tar.gz historical-a673e29adb46e82049476985fc3ca9833ae03671.tar.bz2 historical-a673e29adb46e82049476985fc3ca9833ae03671.zip |
Rebuild mslice C files when bootstrap grade != best grade for mcc
Package-Manager: portage-2.1.4.4
Diffstat (limited to 'dev-lang/mercury/files/mercury-0.13.1-rebuild-mslice.patch')
-rw-r--r-- | dev-lang/mercury/files/mercury-0.13.1-rebuild-mslice.patch | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/dev-lang/mercury/files/mercury-0.13.1-rebuild-mslice.patch b/dev-lang/mercury/files/mercury-0.13.1-rebuild-mslice.patch new file mode 100644 index 000000000000..4b4e5253cadd --- /dev/null +++ b/dev-lang/mercury/files/mercury-0.13.1-rebuild-mslice.patch @@ -0,0 +1,11 @@ +--- mercury-compiler-0.13.1.orig/configure 2006-12-01 22:37:01.000000000 +1300 ++++ mercury-compiler-0.13.1/configure 2008-09-23 18:09:53.000000000 +1200 +@@ -9000,7 +9000,7 @@ + compiler and library will be rebuilt with new grade + installation may take a long time" 1>&6 + find library compiler browser mdbcomp analysis \ +- profiler deep_profiler \ ++ profiler deep_profiler slice \ + -name \*.c -o -name \*.c_date | \ + xargs rm > /dev/null 2>&1 + fi |