>From a5e0a005cdd16fbd1d6a14db3fcde19afd19b201 Mon Sep 17 00:00:00 2001 From: Sergiu Ivanov <unlimitedscol...@gmail.com> Date: Sun, 7 Jun 2009 13:18:48 +0300 Subject: [PATCH] Provide a default prefix in Makefile
* Makefile: Define $prefix to be /usr if the user does not provide and override. --- Makefile | 5 +++++ 1 files changed, 5 insertions(+), 0 deletions(-) diff --git a/Makefile b/Makefile index b180072..1431962 100644 --- a/Makefile +++ b/Makefile @@ -17,6 +17,11 @@ # Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 # USA. +# Provide a default prefix if the user hasn't defined one. +ifeq ($(strip $(prefix)),) +prefix=/usr +endif + CPP = gcc -E -x c MIGCOM = mig -cc cat - /dev/null -- 1.5.2.4
