welcome to f10

diff --git a/scripts/all-builds.sh b/scripts/all-builds.sh
index d06af5d..8cf88df 100755 (executable)
--- 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