use devtools set

facebookincubator · Jan 25, 2024 · 8b3eb4a · 8b3eb4a
1 parent 4918dde
commit 8b3eb4a
Showing 1 changed file with 5 additions and 2 deletions.
diff --git a/scripts/circleci-container.dockfile b/scripts/circleci-container.dockfile
@@ -15,8 +15,11 @@
 #
 FROM quay.io/centos/centos:stream8
 ARG cpu_target
+ENV CPU_TARGET=$cpu_target
+
 COPY scripts/setup-helper-functions.sh /
 COPY scripts/setup-centos8.sh /
 COPY scripts/setup-adapters.sh /
-RUN mkdir build && ( cd build && CPU_TARGET="$cpu_target" bash /setup-centos8.sh ) && rm -rf build
-RUN mkdir build && ( cd build && CPU_TARGET="$cpu_target" bash /setup-adapters.sh ) && rm -rf build
+RUN mkdir build && ( cd build &&  bash /setup-centos8.sh ) && rm -rf build
+RUN mkdir build && ( cd build &&  source /opt/rh/gcc-toolset-9/enable && \
+    bash /setup-adapters.sh ) && rm -rf build