diff options
| -rw-r--r-- | debian/patches/0001-build.patch | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/debian/patches/0001-build.patch b/debian/patches/0001-build.patch index 12df0de..08561f8 100644 --- a/debian/patches/0001-build.patch +++ b/debian/patches/0001-build.patch @@ -16,4 +16,4 @@ diff -Naurp pdlzip.orig/configure pdlzip/configure +#LDFLAGS= # checking whether we are using GNU C. - ${CC} --version > /dev/null 2>&1 + if /bin/sh -c "${CC} --version" > /dev/null 2>&1 ; then true |