The following commit has been merged in the master branch:
commit 078364191dfc7856c3ff7f13087ed072d910b75e
Author: Raphaël Hertzog <[email protected]>
Date: Sun Oct 25 23:31:17 2009 +0100
debian/rules: use “$(MAKE)” instead of “make”
diff --git a/debian/rules b/debian/rules
index 9f84953..6fc0ee4 100755
--- a/debian/rules
+++ b/debian/rules
@@ -129,7 +129,7 @@ binary: binary-arch binary-indep
clean:
dh_testdir
- [ ! -f Makefile ] || make distclean
+ [ ! -f Makefile ] || $(MAKE) distclean
rm -rf build-tree
dh_clean
--
dpkg's main repository
--
To UNSUBSCRIBE, email to [email protected]
with a subject of "unsubscribe". Trouble? Contact [email protected]
