1 files changed, 35 insertions, 0 deletions
diff --git a/debian/patches/30_dontoverridecflags.dpatch b/debian/patches/30_dontoverridecflags.dpatch
new file mode 100644
index 0000000..ef28c90
--- /dev/null
+++ b/debian/patches/30_dontoverridecflags.dpatch
@@ -0,0 +1,35 @@
+#! /bin/sh -e
+## 30_dontoverridecflags.dpatch by Andreas Metzler
+##
+## All lines beginning with `## DP:' are a description of the patch.
+## DP: Don't override CFLAGS in OS/Makefile-Linux, allow to set them
+## DP: e.g. in debian/rules
+
+if [ $# -ne 1 ]; then
+    echo >&2 "`basename $0`: script expects -patch|-unpatch as argument"
+    exit 1
+fi
+case "$1" in
+	-patch) patch -f --no-backup-if-mismatch -p1 < $0;;
+	-unpatch) patch -f --no-backup-if-mismatch -R -p1 < $0;;
+	*)
+		echo >&2 "`basename $0`: script expects -patch|-unpatch as argument"
+		exit 1;;
+esac
+
+exit 0
+				    
+diff -urNad 30.tmp/OS/Makefile-Linux 30/OS/Makefile-Linux
+--- 30.tmp/OS/Makefile-Linux	Mon Dec 30 10:06:45 2002
++++ 30/OS/Makefile-Linux	Mon Dec 30 10:07:07 2002
+@@ -3,8 +3,9 @@
+ 
+ BASENAME_COMMAND=look_for_it
+ 
+-CFLAGS=-O
++# Assume Linuxes use gcc too
+ 
++CFLAGS ?= -O
+ DBMLIB = -ldb
+ USE_DB = yes
+