set default distro to f8
authorThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Thu, 17 Jan 2008 12:16:10 +0000 (12:16 +0000)
committerThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Thu, 17 Jan 2008 12:16:10 +0000 (12:16 +0000)
vbuild-init-vserver.sh
vbuild-nightly.sh

index d1b44b5..cec08df 100755 (executable)
@@ -7,7 +7,7 @@ DIRNAME=$(dirname $0)
 # pkgs parsing utilities
 PATH=$(dirname $0):$PATH . build.common
 
-DEFAULT_FCDISTRO=f7
+DEFAULT_FCDISTRO=f8
 DEFAULT_PLDISTRO=planetlab
 DEFAULT_PERSONALITY=linux32
 
index 0bd8679..436d037 100755 (executable)
@@ -5,7 +5,7 @@ COMMANDPATH=$0
 COMMAND=$(basename $0)
 
 # default values, tunable with command-line options
-DEFAULT_FCDISTRO=f7
+DEFAULT_FCDISTRO=f8
 DEFAULT_PLDISTRO=planetlab
 DEFAULT_PERSONALITY=linux32
 DEFAULT_BASE="@DATE@--@PLDISTRO@-@FCDISTRO@-@PERSONALITY@"