From fb469b5e8b64275b448b8a1e851a0624e94539a5 Mon Sep 17 00:00:00 2001
From: Thierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Date: Mon, 24 May 2010 16:41:55 +0200
Subject: [PATCH] oops

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

diff --git a/Makefile b/Makefile
index 1ab3f9a1..0d344102 100644
--- a/Makefile
+++ b/Makefile
@@ -162,6 +162,7 @@ build-GITPATH := $(build-GITPATH-local)
 else
 build-SVNPATH := $(lastword $(shell svn info 2> /dev/null | grep URL:))
 endif
+endif
 
 ####################
 define remote_pldistro
-- 
2.47.0