diff options
Diffstat (limited to 'debian/patches/clean_libpci')
-rw-r--r-- | debian/patches/clean_libpci | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/debian/patches/clean_libpci b/debian/patches/clean_libpci new file mode 100644 index 00000000..5dd320cb --- /dev/null +++ b/debian/patches/clean_libpci @@ -0,0 +1,15 @@ +Index: rumpkernel/buildrump.sh/src/sys/rump/dev/Makefile.rumpdevcomp +=================================================================== +--- rumpkernel.orig/buildrump.sh/src/sys/rump/dev/Makefile.rumpdevcomp ++++ rumpkernel/buildrump.sh/src/sys/rump/dev/Makefile.rumpdevcomp +@@ -27,8 +27,8 @@ RUMPDEVLDADD+=-lrumpdev_${var} + RUMPDEVLIBS+=lib${var} + .endfor + +-.if make(rumpdescribe) ++#.if make(rumpdescribe) + .for var in ${RUMPPCIDEVS} + RUMPDEVLIBS+=lib${var} + .endfor +-.endif ++#.endif |