diff options
Diffstat (limited to 'editors/mined/files/patch-src__mkinclud.gcc')
-rw-r--r-- | editors/mined/files/patch-src__mkinclud.gcc | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/editors/mined/files/patch-src__mkinclud.gcc b/editors/mined/files/patch-src__mkinclud.gcc new file mode 100644 index 000000000000..412568a5e104 --- /dev/null +++ b/editors/mined/files/patch-src__mkinclud.gcc @@ -0,0 +1,11 @@ +--- src/mkinclud.gcc.orig 2011-07-20 00:00:00.000000000 +0200 ++++ src/mkinclud.gcc 2011-11-20 18:44:14.000000000 +0100 +@@ -48,7 +48,7 @@ + # compilation mode options (optimisation and debug) + + # Optimization flag/level: +-OPT= -O2 ++#OPT= -O2 + + # Debugging option + DEBUG= # -ggdb -gstabs |