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)