summaryrefslogtreecommitdiff
path: root/Build
diff options
context:
space:
mode:
authorNorbert Preining <preining@logic.at>2024-01-23 03:31:22 +0000
committerNorbert Preining <preining@logic.at>2024-01-23 03:31:22 +0000
commit9841575ccda4b498ee8033016a86df87a77d1d8a (patch)
tree8d741a44785dae00c8619780c9dd18755061647f /Build
parent3311c918aae66acd923a29b89ad4ca1494bc8c16 (diff)
[gh actions] POSIX code necessary
git-svn-id: svn://tug.org/texlive/trunk@69552 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build')
-rwxr-xr-xBuild/source/.github/scripts/build-tl.sh11
1 files changed, 9 insertions, 2 deletions
diff --git a/Build/source/.github/scripts/build-tl.sh b/Build/source/.github/scripts/build-tl.sh
index 1cf7643808f..399d46761b6 100755
--- a/Build/source/.github/scripts/build-tl.sh
+++ b/Build/source/.github/scripts/build-tl.sh
@@ -22,7 +22,14 @@ then
STEPS=",prepare,build,"
fi
-if [[ "$STEPS" == *,prepare,* ]]
+do_prepare=0
+do_build=0
+case "$STEPS" in
+ *,prepare,*) do_prepare=1 ;;
+ *,build,*) do_build=1 ;;
+esac
+
+if [ $do_prepare = 1 ]
then
case $buildsys in
ubuntu|debian)
@@ -56,7 +63,7 @@ then
esac
fi
-if [[ "$STEPS" == *,build,* ]]
+if [ $do_build = 1 ]
then
find . -name \*.info -exec touch '{}' \;
touch ./texk/detex/detex-src/detex.c