From b8b3b838cb14118745c680e821538894d4452f0e Mon Sep 17 00:00:00 2001 From: foudfou Date: Sun, 10 Mar 2013 16:31:42 +0100 Subject: [PATCH] add git rev to build dirname --- src/Makefile | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/Makefile b/src/Makefile index 83bc8c5..f8e8838 100755 --- a/src/Makefile +++ b/src/Makefile @@ -41,7 +41,8 @@ profile_id := mozilla-dev ZIP := zip # --symlinks # The target location of the build and build files. -build_dir := ../build +git_rev = $(shell git rev-parse --short HEAD) +build_dir := ../build-$(git_rev) # The location of the extension profile. (this extension is intended for Linux only) profile_locations := \