summaryrefslogtreecommitdiff
path: root/Build/source/.github/scripts
diff options
context:
space:
mode:
authorNorbert Preining <preining@logic.at>2024-01-23 02:57:38 +0000
committerNorbert Preining <preining@logic.at>2024-01-23 02:57:38 +0000
commitebb958af75534fe81b2b3c99cb0137722a17214b (patch)
treebefd42f93841876cad55cb4537cce591af2773b7 /Build/source/.github/scripts
parent68210b762536c16a49e4f51f0498acbcdcce4b5b (diff)
[gh actions] simplify code
git-svn-id: svn://tug.org/texlive/trunk@69547 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/.github/scripts')
-rwxr-xr-xBuild/source/.github/scripts/build-tl.sh10
1 files changed, 1 insertions, 9 deletions
diff --git a/Build/source/.github/scripts/build-tl.sh b/Build/source/.github/scripts/build-tl.sh
index b966800b216..6b9779482c0 100755
--- a/Build/source/.github/scripts/build-tl.sh
+++ b/Build/source/.github/scripts/build-tl.sh
@@ -39,6 +39,7 @@ then
yum update -y
yum install -y centos-release-scl
yum install -y devtoolset-9 fontconfig-devel libX11-devel libXmu-devel libXaw-devel
+ . /opt/rh/devtoolset-9/enable
;;
alpine)
apk update
@@ -54,15 +55,6 @@ then
echo "Unsupported build system: $buildsys" >&2
exit 1
esac
-
-
- # for CentOS we need to activate gcc-9
- if [ -f /opt/rh/devtoolset-9/enable ]
- then
- # we cannot call scl enable devtoolset-9 here since we need
- # the settings in the running shell
- . /opt/rh/devtoolset-9/enable
- fi
fi
if [[ "$STEPS" == *,build,* ]]