diff options
| -rw-r--r-- | cssed-opt.patch | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/cssed-opt.patch b/cssed-opt.patch new file mode 100644 index 0000000..1a0e9b4 --- /dev/null +++ b/cssed-opt.patch @@ -0,0 +1,14 @@ +--- cssed-pre0.1/scintilla/gtk/makefile.orig Mon Dec 8 14:21:03 2003 ++++ cssed-pre0.1/scintilla/gtk/makefile Mon Dec 22 22:17:36 2003 +@@ -33,9 +33,9 @@ + endif + + ifdef DEBUG +-CXXFLAGS=-DDEBUG -g $(CXXBASEFLAGS) $(THREADFLAGS) ++CXXFLAGS=-DDEBUG $(OPT) $(CXXBASEFLAGS) $(THREADFLAGS) + else +-CXXFLAGS=-DNDEBUG -Os $(CXXBASEFLAGS) $(THREADFLAGS) ++CXXFLAGS=-DNDEBUG $(OPT) $(CXXBASEFLAGS) $(THREADFLAGS) + endif + + # If explicit setting of GTK1 or GTK2 then use that else look for |