Send patches - preferably formatted by git format-patch - to patches at archlinux32 dot org.
summaryrefslogtreecommitdiff
path: root/extra
diff options
context:
space:
mode:
authorTasos Sahanidis <tasos@tasossah.com>2024-03-09 19:09:38 +0200
committerTasos Sahanidis <tasos@tasossah.com>2024-03-09 19:10:05 +0200
commit43160a5cc3c537c86a28dbc9dbfd9345a22ed064 (patch)
tree6e9a93d45fffdacd8b938f8a59e1b950682a220b /extra
parent4c2f2615f13fda56ef3e545539379762f740666b (diff)
extra/yosys: Disable checks
Diffstat (limited to 'extra')
-rw-r--r--extra/yosys/PKGBUILD3
1 files changed, 3 insertions, 0 deletions
diff --git a/extra/yosys/PKGBUILD b/extra/yosys/PKGBUILD
new file mode 100644
index 00000000..afb5e757
--- /dev/null
+++ b/extra/yosys/PKGBUILD
@@ -0,0 +1,3 @@
+# Runs out of memory
+unset check
+unset checkdepends