diff options
Diffstat (limited to 'lang/mmix/files/patch-aa')
| -rw-r--r-- | lang/mmix/files/patch-aa | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lang/mmix/files/patch-aa b/lang/mmix/files/patch-aa index 281e63985139..2ad4bd11197c 100644 --- a/lang/mmix/files/patch-aa +++ b/lang/mmix/files/patch-aa @@ -5,7 +5,7 @@ # If you prefer optimization to debugging, change -g to something like -O: -CFLAGS = -g -+CFLAGS = -O -pipe ++CFLAGS ?= -O -pipe # Uncomment the second line if you use pdftex to bypass .dvi files: PDFTEX = dvipdfm |