From 8bed23dbf9ec7bdb12aec770fd21bf39967ffcfa Mon Sep 17 00:00:00 2001
From: Thierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Date: Thu, 20 May 2010 11:13:33 +0000
Subject: [PATCH] oops

---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 60c46fd3..4a1c17b7 100644
--- a/Makefile
+++ b/Makefile
@@ -347,7 +347,7 @@ MODULES/$(1):
 	cd MODULES && $(if $($(1)-SVNPATH),\
 	  svn export $($(1)-SVNPATH) $(1),\
 	  git clone $($(1).gitrepo) $(1); \
-	  $(if $($(1).gittag), cd $(1); git checkout "$($(1).gittag)"; cd -; ,,) \
+	  $(if $($(1).gittag), cd $(1); git checkout "$($(1).gittag)"; cd -; ,) \
 	  rm -rf $(1)/.git )
 	@(echo -n "XXXXXXXXXXXXXXX -- END MODULE $(module) : $@ " ; date)
 endef
-- 
2.43.0