Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
binutils upgraded, but still broken.
authorArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Mon, 25 Jan 2021 13:48:33 +0000 (14:48 +0100)
committerArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Mon, 25 Jan 2021 13:49:10 +0000 (14:49 +0100)
tools/jenkins/build.sh

index 43f40f4..e490083 100755 (executable)
@@ -185,7 +185,7 @@ else
   MAY_DISABLE_SOURCE_CHANGE="-DCMAKE_DISABLE_SOURCE_CHANGES=ON"
 fi
 
-if [ "$os" = "CentOS" ] && [ "$(ld -v | cut -d\  -f4)" = "2.30-85.el8" ]; then
+if [ "$os" = "CentOS" ] && [ "$(ld -v | cut -d\  -f4)" = "2.30-90.el8" ]; then
   echo "Temporary disable LTO, believed to be broken on this system."
   MAY_DISABLE_LTO=-Denable_lto=OFF
 else