diff options
author | Andreas Baumann <mail@andreasbaumann.cc> | 2018-07-10 10:00:33 +0000 |
---|---|---|
committer | Andreas Baumann <mail@andreasbaumann.cc> | 2018-07-10 10:00:33 +0000 |
commit | 295720553ae2deb15418bcda1f708429f570e487 (patch) | |
tree | 4e176cf88ca8a251a1029e14527f5c9f7744f2cd | |
parent | 8cabfb8883314824781882c0f20bb2f8e3838c7f (diff) | |
download | packages-295720553ae2deb15418bcda1f708429f570e487.tar.xz |
extra/valgrind: added i486-specific patch
-rw-r--r-- | extra/valgrind/PKGBUILD | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/extra/valgrind/PKGBUILD b/extra/valgrind/PKGBUILD index d13816e2..82e85edc 100644 --- a/extra/valgrind/PKGBUILD +++ b/extra/valgrind/PKGBUILD @@ -17,3 +17,9 @@ replaces=("${replaces[@]/$pkgname-multilib}") unset checkdepends unset check + +# 486-specific +if [ "${CARCH}" = "i486" ]; then + # disable OpenMPI support + makedepends=(${makedepends[@]//openmpi/}) +fi |