diff options
author | gregor herrmann <gregoa@debian.org> | 2020-07-05 15:37:00 +0200 |
---|---|---|
committer | gregor herrmann <gregoa@debian.org> | 2020-07-05 15:37:00 +0200 |
commit | b14888bcb2b5385883b30ebb401c8c8fc020d49b (patch) | |
tree | 5e8bb0b68a49b1acc5aed0a01bf6ba94212732ef /debian/rules | |
parent | a556fab91da44b5e31348e16757157a4ee65ee90 (diff) |
debian/rules: drop manual handling of $HOME.
debhelper 13 takes care of that automatically.
Diffstat (limited to 'debian/rules')
-rwxr-xr-x | debian/rules | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/debian/rules b/debian/rules index cc34cfc..a6c3ce9 100755 --- a/debian/rules +++ b/debian/rules @@ -1,7 +1,5 @@ #!/usr/bin/make -f -BUILDHOME = $(CURDIR)/debian/build - %: dh $@ @@ -11,8 +9,3 @@ override_dh_auto_configure: override_dh_clean: dh_clean rm -rf blib - rm -rf $(BUILDHOME) - -override_dh_auto_test: - mkdir -p $(BUILDHOME) - HOME=$(BUILDHOME) dh_auto_test |