From c114641afba341803d3444eb883f372e0a30c1c9 Mon Sep 17 00:00:00 2001 From: Sylvestre Ledru Date: Wed, 25 Apr 2018 18:32:26 +0200 Subject: [PATCH] only delete file --- debian/rules | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/debian/rules b/debian/rules index 63249d79..7fd29f81 100755 --- a/debian/rules +++ b/debian/rules @@ -504,7 +504,7 @@ override_dh_installman: override_dh_strip: : # running out of diskspace on the buildds - find $(TARGET_BUILD) -name '*.o' -o -name '*.a' | xargs -r rm -f + find $(TARGET_BUILD) -name '*.o' -o -name '*.a' -type f | xargs -r rm -f ifeq (0, $(strip $(shell dpkg --compare-versions $(DH_VERSION) ge 9.20160114; echo $$?))) : # If we don't have the right version of debhelper, don't run the option dh_strip -p libclang$(SONAME_EXT)-$(LLVM_VERSION) --dbgsym-migration='libclang$(SONAME_EXT)-$(LLVM_VERSION)-dbg (<< 1:7~svn327768-1~)'