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/PKBUILD | 9 ---------
 1 file changed, 9 deletions(-)
 delete mode 100644 community/bochs/PKBUILD

(limited to 'community/bochs/PKBUILD')

diff --git a/community/bochs/PKBUILD b/community/bochs/PKBUILD
deleted file mode 100644
index 67fa958d..00000000
--- a/community/bochs/PKBUILD
+++ /dev/null
@@ -1,9 +0,0 @@
---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