thepraandClaude Opus 5.5
b38f50ee5e
Build / Desktop, server and tools (push) Successful in 1m12s
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01T9uhaCTSycTh1r8At679Pz
18 lines
654 B
Bash
Executable File
18 lines
654 B
Bash
Executable File
#!/bin/sh
|
|
set -e
|
|
version=$(sed -n 's:.*<Version>\(.*\)</Version>.*:\1:p' Directory.Build.props | head -n 1)
|
|
if [ "$GITHUB_REF_TYPE" = "tag" ] && [ "$GITHUB_REF_NAME" != "v$version" ]; then
|
|
echo "::error::tag $GITHUB_REF_NAME does not match Version $version in Directory.Build.props"
|
|
exit 1
|
|
fi
|
|
echo "VERSION=$version" >> "$GITHUB_ENV"
|
|
echo "COMMIT=$(echo "$GITHUB_SHA" | cut -c1-8)" >> "$GITHUB_ENV"
|
|
keep="$HOME/.cache/meweb"
|
|
for dir in tools/cache tools/jdk tools/packaging tools/android-sdk tools/fdroid; do
|
|
mkdir -p "$keep/$dir"
|
|
rm -rf "$dir"
|
|
ln -s "$keep/$dir" "$dir"
|
|
done
|
|
rm -rf releases dist
|
|
echo "version $version, tools cached in $keep"
|