git://git.onelab.eu / infrastructure.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: d86961d)
sets correct database name for kruder (subversion)
authorthierry <thierry@41d37cc5-eb28-0410-a9bf-d37491348ade>
Fri, 1 Jun 2007 09:31:17 +0000 (09:31 +0000)
committerthierry <thierry@41d37cc5-eb28-0410-a9bf-d37491348ade>
Fri, 1 Jun 2007 09:31:17 +0000 (09:31 +0000)
scripts/dump-db-svn.sh patch | blob | history

diff --git a/scripts/dump-db-svn.sh b/scripts/dump-db-svn.sh
index 2c77ff0..d3f43ee 100755 (executable)
--- a/scripts/dump-db-svn.sh
+++ b/scripts/dump-db-svn.sh
@@ -20,7 +20,7 @@ source $COMMANDDIR/functions.sh
 ###
 
 case $(hostname) in
-  *build*)
+  *build*|*kruder*)
     DEFAULTS="subversion" ;;
   *plc*|*private*)
     DEFAULTS="planetlab4" ;;
infrastructure