diff options
author | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2023-05-07 17:39:35 +0000 |
---|---|---|
committer | Damien Zammit <damien@zamaudio.com> | 2023-06-24 00:00:16 +1000 |
commit | 71181839774117da8558629815024d3b3e06dfe0 (patch) | |
tree | 653e8cd19259dc0451e42ce69150a6eaa3d8981a | |
parent | 0851cba649dccf8bb39402cc29f621ca44d6b3a5 (diff) |
Fix build: we don't want to build libpci directories this way
but clean them yes
-rw-r--r-- | debian/patches/clean_libpci | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/debian/patches/clean_libpci b/debian/patches/clean_libpci index 5dd320cb..666b16e4 100644 --- a/debian/patches/clean_libpci +++ b/debian/patches/clean_libpci @@ -2,14 +2,12 @@ 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} +@@ -27,7 +27,7 @@ RUMPDEVLDADD+=-lrumpdev_${var} RUMPDEVLIBS+=lib${var} .endfor -.if make(rumpdescribe) -+#.if make(rumpdescribe) ++.if make(rumpdescribe) || make(cleandir) .for var in ${RUMPPCIDEVS} RUMPDEVLIBS+=lib${var} .endfor --.endif -+#.endif |