Skip to content
Permalink
202503
Switch branches/tags

Name already in use

A tag already exists with the provided branch name. Many Git commands accept both tag and branch names, so creating this branch may cause unexpected behavior. Are you sure you want to create this branch?
Go to file
3 contributors

Users who have contributed to this file

@credman @wgthom @dima767
executable file 28 lines (24 sloc) 599 Bytes
source ./buildVersion.sh
echo "Building tier/gte version ${VERSION_TAG}"
docker build --pull --tag=tier/gte:base-${VERSION_TAG} base/
result=$?
if [ "$result" -ne 0 ]; then
echo "Build in base exited with status $result"
exit $result
fi
#EXERCISE_FOLDERS="ex101 ex201 ex401"
EXERCISE_FOLDERS="ex101"
for lesson in $EXERCISE_FOLDERS; do
pushd $lesson
./manualBuild.sh
result=$?
if [ "$result" -ne 0 ]; then
echo "Build in $lesson exited with status $result"
exit $result
fi
popd
done
if [[ "$OSTYPE" == "darwin"* ]]; then
say full build complete
fi
exit $result