diff options
Diffstat (limited to 'libre')
| -rw-r--r-- | libre/linux-libre-firmware/PKGBUILD | 11 |
1 files changed, 7 insertions, 4 deletions
diff --git a/libre/linux-libre-firmware/PKGBUILD b/libre/linux-libre-firmware/PKGBUILD index cd5cbaac4..26c128d1b 100644 --- a/libre/linux-libre-firmware/PKGBUILD +++ b/libre/linux-libre-firmware/PKGBUILD @@ -56,10 +56,13 @@ prepare() { build() { cd "${srcdir}/${pkgname}-${pkgver}/src" - # NOTE: usbdux will only build in 32-bits systems/chroots (i686 and armv7h for instance), - # however compiling it manually (without makepkg) on a 64-bits machine works. - # Building with makepkg in a 64-bits system or chroot ends into a segmentation fault. - # Source: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=887320 + if [ $CARCH = x86_64 ]; then + # Building as31 with -O2 in 64-bits systems will + # make usbdux result into a segmentation fault + # Source: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=887320 + CFLAGS=${CFLAGS/-O2/-O0} + fi + make } |