diff options
Diffstat (limited to 'debian/patches/no_local_check.patch')
-rw-r--r-- | debian/patches/no_local_check.patch | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/debian/patches/no_local_check.patch b/debian/patches/no_local_check.patch new file mode 100644 index 0000000..c7f461e --- /dev/null +++ b/debian/patches/no_local_check.patch @@ -0,0 +1,21 @@ +Do not run check-local due to bug in ppc64 gcc on Jammy + +ppc64 gcc has a bug causing issued in check-local. +Therefore, do not run check-local while ppc64 gcc is broken +on Ubuntu Jammy. + +--- + src/Makefile.am | 2 +- + 1 file changed, 1 insertion(+), 1 deletion(-) + +--- a/src/Makefile.am ++++ b/src/Makefile.am +@@ -599,7 +599,7 @@ + LDFLAGS_ARCH += $(findstring -m64, $(AM_LDFLAGS)) + + check-local: SHELL?="/usr/bin/env bash" +-check-local: ++NO-check-local: + @case $(host_os) in \ + openbsd*) ADDLIBS="-lc" ;; \ + darwin*|freebsd*) LDFLAGS_OS="-shared" ;; \ |