diff options
Diffstat (limited to 'dev-lang/mercury/files/mercury-0.13.1-mmake-params.patch')
| -rw-r--r-- | dev-lang/mercury/files/mercury-0.13.1-mmake-params.patch | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dev-lang/mercury/files/mercury-0.13.1-mmake-params.patch b/dev-lang/mercury/files/mercury-0.13.1-mmake-params.patch index d45e9bd563b4..f763fcb39e6e 100644 --- a/dev-lang/mercury/files/mercury-0.13.1-mmake-params.patch +++ b/dev-lang/mercury/files/mercury-0.13.1-mmake-params.patch @@ -1,4 +1,4 @@ --- mercury-compiler-0.13.1.orig/Mmake.params 2006-12-01 15:35:18.000000000 +0000 +++ mercury-compiler-0.13.1/Mmake.params 2008-08-20 04:15:41.000000000 +0000 @@ -0,0 +1 @@ -+EXTRA_CFLAGS=-O0 ++GRADE=none.gc |