diff options
| author | Andreas Baumann <mail@andreasbaumann.cc> | 2019-07-05 15:56:12 +0200 |
|---|---|---|
| committer | Andreas Baumann <mail@andreasbaumann.cc> | 2019-07-05 15:56:12 +0200 |
| commit | 968ac73785f4d68568904d2d32a1454c9547863a (patch) | |
| tree | b85e9b3983805b744211cdee85621cc6c8504503 /community/bochs/PKGBUILD | |
| parent | 1ded43ae0aa0f68a9d0992d0d6bb4d99c8e493c2 (diff) | |
| download | packages-968ac73785f4d68568904d2d32a1454c9547863a.tar.xz | |
community/bochs: wrong name for PKGBUILD
Diffstat (limited to 'community/bochs/PKGBUILD')
| -rw-r--r-- | community/bochs/PKGBUILD | 9 |
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 + ' +)" |