diff options
| -rw-r--r-- | debian/patches/debian/0001-build.patch | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/debian/patches/debian/0001-build.patch b/debian/patches/debian/0001-build.patch index 5bc37c9..a383422 100644 --- a/debian/patches/debian/0001-build.patch +++ b/debian/patches/debian/0001-build.patch @@ -16,6 +16,6 @@ diff -Naurp clzip.orig/configure clzip/configure +#CPPFLAGS= +#CFLAGS='-Wall -W -O2' +#LDFLAGS= + MAKEINFO=makeinfo # checking whether we are using GNU C. - /bin/sh -c "${CC} --version" > /dev/null 2>&1 || { CC=cc ; CFLAGS=-O2 ; } |