summaryrefslogtreecommitdiff
path: root/libre
diff options
context:
space:
mode:
Diffstat (limited to 'libre')
-rw-r--r--libre/linux-libre-firmware/PKGBUILD11
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
}