mirrors/pgloader
1
0
Fork 0
mirror of https://github.com/dimitri/pgloader.git synced 2026-05-05 02:46:10 +02:00
Code Issues Projects Releases Wiki Activity

debian: remove debian/home on clean

Browse Source
This commit is contained in:
Christoph Berg 2018-06-22 10:15:20 +02:00
parent 12af803612
commit ae26ca5c1d
1 changed files with 4 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
debian/rules vendored
View File

@ -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)