blob: ef28c906054f3d283d92bcc81e94fbaf9a2e1b20 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
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
|
