From d27d75f86cf8ea4fd87e2cd64b58cc8c0ac0029a Mon Sep 17 00:00:00 2001 From: Stephan Bergmann Date: Sun, 25 Nov 2018 17:34:20 +0100 Subject: Revert "Enabling Developer Toolset 7 for Jenkins' lo_tb_random_config_linux" This reverts commit 4d72f292cb8adf7529ec1d9ab8fb6728e9717543. Developer Toolset 7 has apparently not yet been installed on gandalf (the node exclusively executing this job), see : > checking for gcc... /opt/rh/devtoolset-7/root/usr/bin/gcc > checking whether the C compiler works... no > configure: error: in `/lo/home/tdf/lode/jenkins/workspace/lo_tb_random_config_linux': > configure: error: C compiler cannot create executables > See `config.log' for more details > Error running configure at ./autogen.sh line 296. --- distro-configs/Jenkins/linux_random.conf | 2 -- 1 file changed, 2 deletions(-) (limited to 'distro-configs/Jenkins') diff --git a/distro-configs/Jenkins/linux_random.conf b/distro-configs/Jenkins/linux_random.conf index d8675f7af006..4e71d38533f8 100644 --- a/distro-configs/Jenkins/linux_random.conf +++ b/distro-configs/Jenkins/linux_random.conf @@ -1,3 +1 @@ --enable-fuzz-options -CC=/opt/rh/devtoolset-7/root/usr/bin/gcc -CXX=/opt/rh/devtoolset-7/root/usr/bin/g++ -- cgit