diff options
| author | Stephan Bergmann <sbergman@redhat.com> | 2018-11-25 17:34:20 +0100 |
|---|---|---|
| committer | Stephan Bergmann <sbergman@redhat.com> | 2018-11-25 17:34:20 +0100 |
| commit | d27d75f86cf8ea4fd87e2cd64b58cc8c0ac0029a (patch) | |
| tree | a80371cd39f223d2a40db52b4123444dbcc7071a /distro-configs | |
| parent | 4d72f292cb8adf7529ec1d9ab8fb6728e9717543 (diff) | |
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
<https://ci.libreoffice.org/job/lo_tb_random_config_linux/1623/console>:
> 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.
Diffstat (limited to 'distro-configs')
| -rw-r--r-- | distro-configs/Jenkins/linux_random.conf | 2 |
1 files changed, 0 insertions, 2 deletions
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++ |