From: Arnaud Giersch Date: Mon, 25 Feb 2019 22:22:10 +0000 (+0100) Subject: Build still broken with ld 2.31.1. Check only version for gcc. X-Git-Tag: v3_22~238 X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/12842107c688359b7e8806bd8cc4a092a3b913ae Build still broken with ld 2.31.1. Check only version for gcc. --- diff --git a/tools/jenkins/build.sh b/tools/jenkins/build.sh index 55d98a3333..e05907ff2f 100755 --- a/tools/jenkins/build.sh +++ b/tools/jenkins/build.sh @@ -189,7 +189,7 @@ else MAY_DISABLE_SOURCE_CHANGE="-DCMAKE_DISABLE_SOURCE_CHANGES=ON" fi -if [ "$os" = "NixOS" -a "$(gcc -dumpversion)" = "7.4.0" -a "$(ld -v | cut -d\ -f5)" = "2.30" ]; then +if [ "$os" = "NixOS" -a "$(gcc -dumpversion)" = "7.4.0" ]; then echo "Temporary disable LTO, believed to be broken on this system." MAY_DISABLE_LTO=-Denable_lto=OFF else