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 ---------
 community/bochs/PKGBUILD | 9 +++++++++
 2 files changed, 9 insertions(+), 9 deletions(-)
 delete mode 100644 community/bochs/PKBUILD
 create mode 100644 community/bochs/PKGBUILD

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
-    '
-)"
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