diff options
author | Henning Baldersheim <balder@yahoo-inc.com> | 2017-12-12 14:53:19 +0100 |
---|---|---|
committer | Henning Baldersheim <balder@yahoo-inc.com> | 2017-12-12 22:54:36 +0100 |
commit | f48c4fb256438e7928d6fdb17c43ff14a22c725d (patch) | |
tree | a59b32d467fa0c636b7fe707536d4d0352414eab /bootstrap-cpp.sh | |
parent | aa4be0446a434c82ebb1e452eb2dcdb3c20c2a9a (diff) |
use-devtoolset-7
Diffstat (limited to 'bootstrap-cpp.sh')
-rwxr-xr-x | bootstrap-cpp.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bootstrap-cpp.sh b/bootstrap-cpp.sh index 47d2a82622a..e6b4c816065 100755 --- a/bootstrap-cpp.sh +++ b/bootstrap-cpp.sh @@ -33,7 +33,7 @@ mkdir -p "${BUILD_DIR}" || { BUILD_DIR=$(realpath "${BUILD_DIR}") # Build it -source /opt/rh/devtoolset-6/enable || true +source /opt/rh/devtoolset-7/enable || true cd "${SOURCE_DIR}" bash ./bootstrap.sh full cd "${BUILD_DIR}" |