From ab9c56bfe383075f93102b47dd0c3f32346f723a Mon Sep 17 00:00:00 2001
From: Thierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Date: Thu, 17 Jan 2008 12:16:10 +0000
Subject: [PATCH] set default distro to f8

---
 vbuild-init-vserver.sh | 2 +-
 vbuild-nightly.sh      | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/vbuild-init-vserver.sh b/vbuild-init-vserver.sh
index d1b44b57..cec08df3 100755
--- a/vbuild-init-vserver.sh
+++ b/vbuild-init-vserver.sh
@@ -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
 
diff --git a/vbuild-nightly.sh b/vbuild-nightly.sh
index 0bd86795..436d037c 100755
--- a/vbuild-nightly.sh
+++ b/vbuild-nightly.sh
@@ -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@"
-- 
2.47.0