From 76a35e28d12d72ff465c53adf5f4f8c8e1cdfaa3 Mon Sep 17 00:00:00 2001
From: Axel Beckert <abe@deuxchevaux.org>
Date: Mon, 22 Jan 2018 23:19:37 +0100
Subject: [PATCH] Use "$(MAKE)" instead of "make" in debian/rules

---
 debian/changelog | 1 +
 debian/rules     | 2 +-
 2 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/debian/changelog b/debian/changelog
index c6846b5..d72f29b 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -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
 
diff --git a/debian/rules b/debian/rules
index 700bfd3..6266add 100755
--- a/debian/rules
+++ b/debian/rules
@@ -6,7 +6,7 @@
 	dh $@
 
 override_dh_auto_test:
-	make non-author-test
+	$(MAKE) non-author-test
 
 override_dh_installchangelogs:
 	dh_installchangelogs NEWS.markdown