From d39ad09813ea3a4e2ee92147b85d9b16cdaf184d Mon Sep 17 00:00:00 2001 From: Antti Kantee Date: Fri, 19 Dec 2014 00:05:51 +0000 Subject: [PATCH] use makepci() to build pci device driver components --- buildxen.sh | 2 +- rumpxenpci/Makefile | 9 --------- 2 files changed, 1 insertion(+), 10 deletions(-) delete mode 100644 rumpxenpci/Makefile diff --git a/buildxen.sh b/buildxen.sh index bd2eafe..76a0c8b 100755 --- 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 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 -- 2.39.5