diff options
Diffstat (limited to 'debian/patches/30_dontoverridecflags.dpatch')
| -rw-r--r-- | debian/patches/30_dontoverridecflags.dpatch | 36 |
1 files changed, 36 insertions, 0 deletions
diff --git a/debian/patches/30_dontoverridecflags.dpatch b/debian/patches/30_dontoverridecflags.dpatch new file mode 100644 index 0000000..cf7bc7b --- /dev/null +++ b/debian/patches/30_dontoverridecflags.dpatch @@ -0,0 +1,36 @@ +#! /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 + +@DPATCH@ +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 + |