From ebc061e795be8bfe74d3ddb433cc8a5fd906b586 Mon Sep 17 00:00:00 2001
From: thierry <thierry@41d37cc5-eb28-0410-a9bf-d37491348ade>
Date: Tue, 16 Dec 2008 17:09:09 +0000
Subject: [PATCH] welcome to f10

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

diff --git a/scripts/all-builds.sh b/scripts/all-builds.sh
index d06af5d..8cf88df 100755
--- a/scripts/all-builds.sh
+++ b/scripts/all-builds.sh
@@ -31,7 +31,7 @@ function shortname () {
     case $distro in
 	onelab)		echo 1l;;
 	planetlab)	echo pl;;
-	f?)		echo $distro;;
+	f?|f1?)		echo $distro;;
 	centos5)	echo c5;;
 	*)		echo xx;;
     esac
-- 
2.47.0