diff options
Diffstat (limited to 'dev-lang/mercury/files/mercury-0.12.2-bootstrap.patch')
| -rw-r--r-- | dev-lang/mercury/files/mercury-0.12.2-bootstrap.patch | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/dev-lang/mercury/files/mercury-0.12.2-bootstrap.patch b/dev-lang/mercury/files/mercury-0.12.2-bootstrap.patch index 444b80d52294..f8922bb2e0a9 100644 --- a/dev-lang/mercury/files/mercury-0.12.2-bootstrap.patch +++ b/dev-lang/mercury/files/mercury-0.12.2-bootstrap.patch @@ -1,6 +1,6 @@ --- mercury-compiler-0.12.2.orig/configure 2006-01-25 17:24:01.000000000 +1300 +++ mercury-compiler-0.12.2/configure 2006-07-24 20:11:45.000000000 +1200 -@@ -8790,34 +8790,33 @@ +@@ -8790,34 +8790,34 @@ if test "$BEST_GRADE_FOR_COMPILER" != "$BOOTSTRAP_GRADE"; then if test "$BOOTSTRAP_MC" = ""; then @@ -26,7 +26,8 @@ + profiler deep_profiler \ + -name \*.c -o -name \*.c_date | \ + xargs rm > /dev/null 2>&1 -+ find -name \*.o -o -name \*.a -o -name \*.so | \ ++ find -name \*.o -o -name \*.pic_o -o \ ++ -name \*.a -o -name \*.so | \ + xargs rm > /dev/null 2>&1 + rm -f compiler/mercury_compile profiler/mercury_profile + fi |