diff options
Diffstat (limited to 'lang/mmix/files/patch-aa')
-rw-r--r-- | lang/mmix/files/patch-aa | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/lang/mmix/files/patch-aa b/lang/mmix/files/patch-aa new file mode 100644 index 000000000000..281e63985139 --- /dev/null +++ b/lang/mmix/files/patch-aa @@ -0,0 +1,11 @@ +--- Makefile.orig Fri Oct 27 05:23:57 2000 ++++ Makefile Fri Oct 27 05:24:40 2000 +@@ -6,7 +6,7 @@ + # In fact, CWEB 3.61 is recommended for making hardcopy or PDF documentation. + + # If you prefer optimization to debugging, change -g to something like -O: +-CFLAGS = -g ++CFLAGS = -O -pipe + + # Uncomment the second line if you use pdftex to bypass .dvi files: + PDFTEX = dvipdfm |