From 9ebcb797d51c8ec4ca9185be8f86dcd133a3d3c6 Mon Sep 17 00:00:00 2001
From: Evangelos Trantos <evtrados@gmail.com>
Date: Wed, 19 Jan 2022 20:58:13 +0100
Subject: [PATCH] No need to source devtoolset, as it's not used on Debian

---
 docker/build.sh | 1 -
 1 file changed, 1 deletion(-)

diff --git a/docker/build.sh b/docker/build.sh
index 9fec21ac50..153749ac45 100755
--- a/docker/build.sh
+++ b/docker/build.sh
@@ -7,7 +7,6 @@ SCRIPT_DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" >/dev/null 2>&1 && pwd )"
 PROJECT_DIR="$( cd "${SCRIPT_DIR}/.." && pwd )"
 
 # Make sure that environment variables are set properly
-source /opt/rh/devtoolset-8/enable
 export PATH="${CURA_BUILD_ENV_PATH}/bin:${PATH}"
 export PKG_CONFIG_PATH="${CURA_BUILD_ENV_PATH}/lib/pkgconfig:${PKG_CONFIG_PATH}"