commit 15e613de9a0574c76f6a77df21dcb6bc9942d40e
parent 88218c0daeb1ce3330366ecad806a05e42731a43
Author: Florian Dold <florian@dold.me>
Date: Wed, 5 Jul 2023 20:59:50 +0200
sandcastle: tags file not required anymore
Diffstat:
1 file changed, 0 insertions(+), 5 deletions(-)
diff --git a/sandcastle/build_base.sh b/sandcastle/build_base.sh
@@ -31,11 +31,6 @@ if [[ ! -e $DOCKER_FILE ]]; then
exit 1
fi
-if [[ ! -e buildconfig/tags.sh ]]; then
- echo "buildconfig/tags.sh required but does not exist"
- exit 1
-fi
-
# Allows extra features to conditionally copy files
# from the host during the build. That solves the
# case where the tag file is not given.