Hi,
This patch enables pci-userspace Makefile to set LDFLAGS for libpci, for OS
ports that need extra libraries (surprise, surprise! ;-))
--
Robert Millan
Index: rumpkernel-0~20150715/buildrump.sh/src/sys/rump/dev/lib/libpci/Makefile
===================================================================
--- rumpkernel-0~20150715.orig/buildrump.sh/src/sys/rump/dev/lib/libpci/Makefile 2015-08-15 12:10:33.000000000 +0200
+++ rumpkernel-0~20150715/buildrump.sh/src/sys/rump/dev/lib/libpci/Makefile 2015-08-15 13:28:38.000000000 +0200
@@ -37,6 +37,7 @@
RUMPCOMP_USER_CFLAGS= ${RUMPCOMP_USER_CFLAGS.rumpdev_pci}
CPPFLAGS+= ${RUMPCOMP_CPPFLAGS.rumpdev_pci}
+LDFLAGS+= ${RUMPCOMP_LDFLAGS.rumpdev_pci}
# XXX: messy
.undef RUMPKERN_ONLY
