rename f35 build to reflect no-sfa
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Thu, 28 Apr 2022 07:54:55 +0000 (09:54 +0200)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Thu, 28 Apr 2022 07:54:55 +0000 (09:54 +0200)
scripts/builds.sh

index 395024f..92fdd9f 100755 (executable)
@@ -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