Skip to content
This repository has been archived by the owner on Nov 6, 2020. It is now read-only.

Cleanups on js-precompiled #3738

Merged
merged 4 commits into from
Dec 7, 2016
Merged
Changes from 2 commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
7 changes: 6 additions & 1 deletion js/scripts/release.sh
Original file line number Diff line number Diff line change
Expand Up @@ -34,11 +34,16 @@ git fetch origin 2>$GITLOG
git checkout -b $BRANCH

echo "*** Committing compiled files for $UTCDATE"
mv build ../build.new
git pull origin/$BRANCH -X ours --commit -m "$UTCDATE [merge]"
git rm build/*.*
Copy link
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Suggest using * instead of *.*. Some files might not have a dot in the name.

git commit -m "$UTCDATE [rm]"
cp -f ../build.new/*.* build/
Copy link
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

mv instead of cp should be faster.

rm -rf ../build.new
git add .
git commit -m "$UTCDATE"

echo "*** Merging remote"
git merge origin/$BRANCH -X ours --commit -m "$UTCDATE [release]"
git push origin HEAD:refs/heads/$BRANCH 2>$GITLOG
PRECOMPILED_HASH=`git rev-parse HEAD`

Expand Down