use makepci() to build pci device driver components

diff --git a/buildxen.sh b/buildxen.sh
index bd2eafe503c7c53bee46e59d03a25d8185133588..76a0c8b950a7829f13ed6542d613c1f9dfeddcec 100755 (executable)
--- a/buildxen.sh
+++ b/buildxen.sh
@@ -56,8 +56,8 @@ makekernlib ()
        )
 }
 makekernlib rumpxenif
-makekernlib rumpxenpci
 makekernlib rumpxendev
+makepci rumpsrc
 
 for lib in ${LIBS}; do
        makeuserlib ${lib}

diff --git a/rumpxenpci/Makefile b/rumpxenpci/Makefile
deleted file mode 100644 (file)
index bb28d4d..0000000
--- a/rumpxenpci/Makefile
+++ /dev/null
@@ -1,9 +0,0 @@
-RUMPTOP= ${TOPRUMP}
-
-.include "${RUMPTOP}/dev/Makefile.rumpdevcomp"
-
-.for pcidev in ${RUMPPCIDEVS}
-SUBDIR+= ${RUMPTOP}/dev/lib/lib${pcidev}
-.endfor
-
-.include <bsd.subdir.mk>