From 968ac73785f4d68568904d2d32a1454c9547863a Mon Sep 17 00:00:00 2001
From: Andreas Baumann <mail@andreasbaumann.cc>
Date: Fri, 5 Jul 2019 15:56:12 +0200
Subject: community/bochs: wrong name for PKGBUILD

---
 community/bochs/PKGBUILD | 9 +++++++++
 1 file changed, 9 insertions(+)
 create mode 100644 community/bochs/PKGBUILD

(limited to 'community/bochs/PKGBUILD')

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
+    '
+)"
-- 
cgit v1.2.3-54-g00ecf