From a499d23cb1e35b58c8fd4c6f8851444ee09739cf Mon Sep 17 00:00:00 2001
From: notin
Date: Tue, 19 Dec 2006 15:18:19 +0000
Subject: Adaptation à Subversion 1.4

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9457 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 Makefile | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/Makefile b/Makefile
index aabf09f0ff..a0e1fbd904 100644
--- a/Makefile
+++ b/Makefile
@@ -1596,8 +1596,11 @@ parsing/lexer.cmo: parsing/lexer.ml4
 revision:
 ifeq ($(CHECKEDOUT),1)
 	- /bin/rm -f revision
-	sed -ne '/url/s/^.*\/\([^\/]\{1,\}\)"$$/\1/p' .svn/entries > revision
-	sed -ne '/revision/s/^.*"\([0-9]\{1,\}\)".*$$/r\1/p' .svn/entries >> revision
+	if test -x `which svn`; then \
+	  export LANG=C; \
+	  svn info . | sed -ne '/URL/s/.*\/\([^\/]\{1,\}\)/\1/p' > revision; \
+	  svn info . | sed -ne '/Revision/s/Revision: \([0-9]\{1,\}\)/\1/p'>> revision; \
+	fi
 endif
 
 archclean::
-- 
cgit v1.2.3