diff options
| -rwxr-xr-x | autogen.sh | 2 | ||||
| -rw-r--r-- | compilerplugins/clang/pluginhandler.hxx | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/autogen.sh b/autogen.sh index 478aed6944b5..98dcb950886e 100755 --- a/autogen.sh +++ b/autogen.sh @@ -153,7 +153,7 @@ if (defined $ENV{LODE_HOME}) } # For the Config=linux_gcc_release_64 Jenkins jobs that build on CentOS against Developer # Toolset 7: - if (-d '/opt/rh/devtoolset-7/root/usr/bin') + if ($ENV{Config} eq 'linux_gcc_release_64' && -d '/opt/rh/devtoolset-7/root/usr/bin') { $ENV{PATH}="/opt/rh/devtoolset-7/root/usr/bin:$ENV{PATH}"; print STDERR "added /opt/rh/devtoolset-7/root/usr/bin to PATH\n"; diff --git a/compilerplugins/clang/pluginhandler.hxx b/compilerplugins/clang/pluginhandler.hxx index 1cb405d54d35..d51afebccac7 100644 --- a/compilerplugins/clang/pluginhandler.hxx +++ b/compilerplugins/clang/pluginhandler.hxx @@ -91,7 +91,7 @@ private: std::vector< std::string > _args; }; -} // namespace +} #endif // COMPILEPLUGIN_H |