| index : packages | |
| Archlinux32 package modifications | gitolite user |
| summaryrefslogtreecommitdiff |
| author | Andreas Baumann <mail@andreasbaumann.cc> | 2024-01-26 17:12:11 +0100 |
|---|---|---|
| committer | Andreas Baumann <mail@andreasbaumann.cc> | 2024-01-26 17:12:11 +0100 |
| commit | e6d441fe1a94f9f992cdc4d64804d430184a65ac (patch) | |
| tree | 11ae651948b0d57613caf726938e1eaf55a78703 | |
| parent | 61ae3dfc0260b21a257d43edbd44ac5ac83e31c7 (diff) | |
| -rw-r--r-- | extra/cvc4/PKGBUILD | 4 |
diff --git a/extra/cvc4/PKGBUILD b/extra/cvc4/PKGBUILD new file mode 100644 index 00000000..c441f2d8 --- /dev/null +++ b/extra/cvc4/PKGBUILD @@ -0,0 +1,4 @@ +# no testing on i486, this never ends +if [ "$CARCH" = 'i486' ]; then + unset check +fi |