From 7706ba1b2f2766e29d8a52e4b7e6c4e9c11e0981 Mon Sep 17 00:00:00 2001
From: Robin Sommer <robin@icir.org>
Date: Tue, 24 Sep 2013 13:22:56 -0700
Subject: [PATCH] Fix for setting REPO in Makefile.

The basename wasn't sufficient as it could leave the repo URL in.
---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index cbc44c6780..4984f6db31 100644
--- a/Makefile
+++ b/Makefile
@@ -6,7 +6,7 @@
 #
 
 BUILD=build
-REPO=`basename \`git config --get remote.origin.url\``
+REPO=`basename \`git config --get remote.origin.url | sed 's/^[^:]*://g'\``
 VERSION_FULL=$(REPO)-`cat VERSION`
 VERSION_MIN=$(REPO)-`cat VERSION`-minimal
 HAVE_MODULES=git submodule | grep -v cmake >/dev/null