From a0ff75ecd61858f05e2a7e81ddd10d97fa8a2eb3 Mon Sep 17 00:00:00 2001
From: Robin Sommer <robin@icir.org>
Date: Tue, 25 Oct 2011 17:35:49 -0700
Subject: [PATCH] Different way to figure out the repository name.

My directory was called 'master' so I got 'master-1.6.tar.gz'.
---
 Makefile | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/Makefile b/Makefile
index e2e8e3db7c..c736ecdbcb 100644
--- a/Makefile
+++ b/Makefile
@@ -6,8 +6,9 @@
 #
 
 BUILD=build
-VERSION_FULL=`basename \`pwd\``-`cat VERSION`
-VERSION_MIN=`basename \`pwd\``-`cat VERSION`-minimal
+REPO=`basename \`git config --get remote.origin.url\``
+VERSION_FULL=$(REPO)-`cat VERSION`
+VERSION_MIN=$(REPO)-`cat VERSION`-minimal
 HAVE_MODULES=git submodule | grep -v cmake >/dev/null
 
 all: configured