From 7b2a167340a5391ed67869bcb5da85efef2f259f Mon Sep 17 00:00:00 2001
From: Thierry Parmentelat <thierry.parmentelat@inria.fr>
Date: Sat, 10 Dec 2016 13:36:19 +0100
Subject: [PATCH] forget f23, welcome f25

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

diff --git a/scripts/builds.sh b/scripts/builds.sh
index 6f83f81..51a75be 100755
--- a/scripts/builds.sh
+++ b/scripts/builds.sh
@@ -20,8 +20,8 @@
 #function reed () { hostname | grep -q reed ; }
 #function buzzcocks () { hostname | grep -q buzzcocks ; }
 
+/root/bin/lbuild-nightly.sh -f f25 -b @DATE@--f25 -e check-initscripts &
 /root/bin/lbuild-nightly.sh -f f24 -b @DATE@--f24 -e check-initscripts &
-/root/bin/lbuild-nightly.sh -f f23 -b @DATE@--f23 -e check-initscripts &
 
 [ -n "$SINGLE" ] && exit
 # xxx when running 3 builds of 22, 23 and 23-sfataga in parallel, I observe that
-- 
2.43.0