From ae26ca5c1d7b0662991d1243ae1ab7c7b1616187 Mon Sep 17 00:00:00 2001 From: Christoph Berg Date: Fri, 22 Jun 2018 10:15:20 +0200 Subject: [PATCH] debian: remove debian/home on clean --- debian/rules | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/debian/rules b/debian/rules index f798dc3..ba27692 100755 --- a/debian/rules +++ b/debian/rules @@ -27,6 +27,10 @@ orig: clean rm -rf $(HOME) cd .. && tar czf pgloader_$(PKGVERS).orig.tar.gz $(EXCLUDE) pgloader +override_dh_auto_clean: + dh_auto_clean + rm -rf debian/home + override_dh_auto_build: mkdir -p build/bin mkdir -p $(HOME)