Browse Source

debian/rules: use “$(MAKE)” instead of “make”

Raphaël Hertzog 16 years ago
parent
commit
078364191d
1 changed files with 1 additions and 1 deletions
  1. 1 1
      debian/rules

+ 1 - 1
debian/rules

@@ -129,7 +129,7 @@ binary: binary-arch binary-indep
 clean:
 clean:
 	dh_testdir
 	dh_testdir
 
 
-	[ ! -f Makefile ] || make distclean
+	[ ! -f Makefile ] || $(MAKE) distclean
 	rm -rf build-tree
 	rm -rf build-tree
 	dh_clean
 	dh_clean