From fc46f303e059e001b25bca6ca27a0d16df2bfa1c Mon Sep 17 00:00:00 2001 From: "Jonathan \"Duke\" Leto" Date: Wed, 8 Sep 2010 12:58:39 -0700 Subject: [PATCH] Allow user to specify PREFIX Now users can specify PREFIX when they run make: PREFIX=$HOME make Without a defined PREFIX, it defaults to /usr/local, so this is backward compatible to previous behavior. --- Makefile | 2 ++ 1 file changed, 2 insertions(+) diff --git a/Makefile b/Makefile index 649188f..4328034 100644 --- a/Makefile +++ b/Makefile @@ -1,5 +1,7 @@ +ifeq ($(PREFIX),) PREFIX = /usr/local +endif BINS = $(wildcard bin/git-*)