From 332afef310a50365a5528f367f5cd7ef3d19e486 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Rapha=C3=ABl=20Hertzog?= <raphael@offensive-security.com>
Date: Fri, 1 Nov 2019 19:11:18 +0100
Subject: [PATCH] Use $(MAKE) instead of make

---
 Makefile | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/Makefile b/Makefile
index 9a372328..c17c0c3e 100644
--- a/Makefile
+++ b/Makefile
@@ -1,7 +1,7 @@
 SUBDIRS=Grub-Background/kali emblems kali-logos
 
 build:
-	$(foreach SUBDIR,$(SUBDIRS),make -C $(SUBDIR) build &&) true
+	$(foreach SUBDIR,$(SUBDIRS),$(MAKE) -C $(SUBDIR) build &&) true
 	# We populate desktop-base subdirectory with stuff to be installed into
 	# kali-desktop-base in the file structure expected by desktop-base
 	rm -rf desktop-base
@@ -13,13 +13,13 @@ build:
 	ln -s /usr/share/plymouth/themes/kali desktop-base/kali-theme/plymouth
 
 clean:
-	$(foreach SUBDIR,$(SUBDIRS),make -C $(SUBDIR) clean &&) true
+	$(foreach SUBDIR,$(SUBDIRS),$(MAKE) -C $(SUBDIR) clean &&) true
 	rm -rf desktop-base/*
 
 install:
 	# We use debhelper to install most files, but some subdirectories
 	# install files by themselves
-	$(foreach SUBDIR,$(SUBDIRS),make -C $(SUBDIR) install &&) true
+	$(foreach SUBDIR,$(SUBDIRS),$(MAKE) -C $(SUBDIR) install &&) true
 	# And we need a few supplementary symlinks for good integration
 	# KDE looks into /usr/share/wallpapers
 	install -d $(DESTDIR)/usr/share/wallpapers