From 2602e4832d0330ac39646407bc961410acf76c6c Mon Sep 17 00:00:00 2001
From: Thierry Parmentelat <thierry.parmentelat@inria.fr>
Date: Thu, 28 Apr 2022 09:54:55 +0200
Subject: [PATCH] rename f35 build to reflect no-sfa

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

diff --git a/scripts/builds.sh b/scripts/builds.sh
index 395024f..92fdd9f 100755
--- a/scripts/builds.sh
+++ b/scripts/builds.sh
@@ -20,7 +20,7 @@
 # Mar 2019: sfa is python3
 # Apr 2019: retrofit - default is sfa-4.0.3 i.e. python2, too much fuss otherwise
 
-/root/bin/lbuild-nightly.sh -f f35 -b @DATE@--f35-serverside &
+/root/bin/lbuild-nightly.sh -f f35 -b @DATE@--f35-nosfa &
 /root/bin/lbuild-nightly.sh -f f33 -b @DATE@--f33-serverside &
 [ -n "$SINGLE" ] && exit
 
-- 
2.43.0