From: Thierry Parmentelat <thierry.parmentelat@inria.fr>
Date: Fri, 1 Feb 2013 20:57:42 +0000 (+0100)
Subject: add f12 to defaults
X-Git-Tag: 5.2.1~79
X-Git-Url: http://git.onelab.eu/?a=commitdiff_plain;h=1d4966984063db8c3ea8f9781f3bd9ff65fff096;p=build.git

add f12 to defaults
---

diff --git a/mirroring/mirror.sh b/mirroring/mirror.sh
index 8d01e96b..1b49f80e 100755
--- a/mirroring/mirror.sh
+++ b/mirroring/mirror.sh
@@ -5,7 +5,7 @@ DIRNAME=$(dirname $0)
 
 default_url="http://localhost/mirror/"
 default_distro="f14"
-all_distros="f14 f16 f18"
+all_distros="f12 f14 f16 f18"
 
 function check_distro () {
     local distro=$1; shift