From 71181839774117da8558629815024d3b3e06dfe0 Mon Sep 17 00:00:00 2001 From: Samuel Thibault Date: Sun, 7 May 2023 17:39:35 +0000 Subject: Fix build: we don't want to build libpci directories this way but clean them yes --- debian/patches/clean_libpci | 6 ++---- 1 file 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 -- cgit v1.2.3