Skip to content

Commit

Permalink
make scripts now check if there are new commits
Browse files Browse the repository at this point in the history
  • Loading branch information
gizmocuz committed Aug 17, 2016
1 parent 859e894 commit 8da7a3d
Show file tree
Hide file tree
Showing 2 changed files with 14 additions and 0 deletions.
7 changes: 7 additions & 0 deletions makebeta
Original file line number Diff line number Diff line change
Expand Up @@ -23,6 +23,13 @@ history_file="history_${OS}_${MACH}.txt"
# Make sure we are on latest commit
echo "Updating to server revision..."
git fetch --all

TOTCOUNT="$(git rev-list HEAD...origin/master --count)"
if [ "$TOTCOUNT" -lt 1 ]; then
echo "No Changes..."
exit;
fi

git reset --hard origin/master

cmake -DCMAKE_BUILD_TYPE=Release .
Expand Down
7 changes: 7 additions & 0 deletions makerelease
Original file line number Diff line number Diff line change
Expand Up @@ -23,6 +23,13 @@ history_file="history_${OS}_${MACH}.txt"
# Make sure we are on latest commit
echo "Updating to server revision..."
git fetch --all

TOTCOUNT="$(git rev-list HEAD...origin/master --count)"
if [ "$TOTCOUNT" -lt 1 ]; then
echo "No Changes..."
exit;
fi

git reset --hard origin/master

cmake -DCMAKE_BUILD_TYPE=Release .
Expand Down

0 comments on commit 8da7a3d

Please sign in to comment.