From fbee4f34edb4ac58243f4221b1e19a820101a785 Mon Sep 17 00:00:00 2001
From: Thierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Date: Wed, 26 May 2010 19:40:51 +0200
Subject: [PATCH] oops

---
 scripts/auto-update.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/scripts/auto-update.sh b/scripts/auto-update.sh
index 6b6b6f5..f2736b3 100755
--- a/scripts/auto-update.sh
+++ b/scripts/auto-update.sh
@@ -26,7 +26,7 @@ fi
 
 ##########
 cd $DIRNAME
-case $(svn_or_git) in 
+case $(_svn_or_git) in 
     svn) (date ; svn update ) >& .auto-update.log ;;
     git) (date ; git pull ) >& .auto-update.log ;;
     *) echo 'only svn and git are supported' >& .auto-update.log ;;
-- 
2.47.0