community/bochs: wrong name for PKGBUILD

1 files changed, 9 insertions, 0 deletions

diff --git a/community/bochs/PKGBUILD b/community/bochs/PKGBUILD
new file mode 100644
index 00000000..67fa958d
--- /dev/null
+++ b/community/bochs/PKGBUILD
@@ -0,0 +1,9 @@
+--enable-pcidev
+# disable host PCI device mapping, not supported for newer kernels in Bochs itself
+
+eval "$(
+  declare -f build | \
+    sed '
+      s@--enable-pcidev@--disable-pcidev@g
+    '
+)"