1 files 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::