Use "$(MAKE)" instead of "make" in debian/rules
This commit is contained in:
parent
de1eea7fa2
commit
76a35e28d1
1
debian/changelog
vendored
1
debian/changelog
vendored
@ -3,6 +3,7 @@ xen-tools (4.7-2) UNRELEASED; urgency=medium
|
||||
* Fix wrong bug number for #849867 in previous changelog entry.
|
||||
* Declare compliance with Debian Policy 4.1.3.
|
||||
+ Change Priority from extra to optional.
|
||||
* Use "$(MAKE)" instead of "make" in debian/rules.
|
||||
|
||||
-- Axel Beckert <abe@debian.org> Mon, 23 Jan 2017 01:36:27 +0100
|
||||
|
||||
|
||||
2
debian/rules
vendored
2
debian/rules
vendored
@ -6,7 +6,7 @@
|
||||
dh $@
|
||||
|
||||
override_dh_auto_test:
|
||||
make non-author-test
|
||||
$(MAKE) non-author-test
|
||||
|
||||
override_dh_installchangelogs:
|
||||
dh_installchangelogs NEWS.markdown
|
||||
|
||||
Loading…
x
Reference in New Issue
Block a user