From 353a0c519bae0fce277de48adc8cf582d986b7e0 Mon Sep 17 00:00:00 2001
From: Achim Gratz <Stromeko@Stromeko.DE>
Date: Tue, 31 Jan 2012 20:44:37 +0100
Subject: [PATCH] introduce $(SUDO) to make install with administrative
 privileges customizable

	defaults.mk: define SUDO to map to sudo, add comment to define
	blank if administrative privileges are not needed (already root on
	Linux or Administrator on Windows)

	targets.mk: use newly defined $(SUDO) uinstead of plain sudo,
	replaces some braces with parentheses
---
 default.mk | 4 ++++
 targets.mk | 4 ++--
 2 files changed, 6 insertions(+), 2 deletions(-)

diff --git a/default.mk b/default.mk
index b3c3f6c7f..0835938a5 100644
--- a/default.mk
+++ b/default.mk
@@ -76,6 +76,10 @@ SED	= sed
 # CP	= cp -p	# try this if there is no install
 CP	= install -p
 
+# How to obtain administrative privileges
+# SUDO	= 	# leave blank if you don't need this
+SUDO	= sudo
+
 # Name of the program to install info files
 # INSTALL_INFO = ginstall-info # Debian: avoid harmless warning message
 INSTALL_INFO = install-info
diff --git a/targets.mk b/targets.mk
index 8b0d9dae8..d33e98c40 100644
--- a/targets.mk
+++ b/targets.mk
@@ -44,12 +44,12 @@ test-dirty::
 	$(BTEST)
 
 up2:	update
-	sudo ${MAKE} install
+	$(SUDO) $(MAKE) install
 
 update:
 	git remote update
 	git pull
-	${MAKE} all
+	$(MAKE) all
 
 install:	$(INSTSUB)