diff options
Diffstat (limited to 'patches/ed-1.18_pre.local.patch')
| -rw-r--r-- | patches/ed-1.18_pre.local.patch | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/patches/ed-1.18_pre.local.patch b/patches/ed-1.18_pre.local.patch new file mode 100644 index 00000000..ad5d95e0 --- /dev/null +++ b/patches/ed-1.18_pre.local.patch @@ -0,0 +1,12 @@ +diff -ru ed-1.17.orig/configure ed-1.17/configure +--- ed-1.17.orig/configure 2021-01-06 14:06:29.000000000 +0100 ++++ ed-1.17/configure 2021-01-13 12:29:03.995851327 +0100 +@@ -23,7 +23,7 @@ + program_prefix= + CC=gcc + CPPFLAGS= +-CFLAGS='-Wall -W -O2' ++CFLAGS ?= '-Wall -W -O2' + LDFLAGS= + + # checking whether we are using GNU C. |