little cosmetics

preferencesAboutTextFull
Claudio Valerio 11 years ago
parent c4f883cdc3
commit 92b608a287
  1. 2
      buildDebianPackage.sh

@ -206,7 +206,7 @@ else
LAST_COMMITED_VERSION="`git describe $(git rev-list --tags --max-count=1)`"
if [ "v$VERSION" != "$LAST_COMMITED_VERSION" ]; then
if [ $MAKE_TAG == true ]; then
git tag -a "v$VERSION" -m "Generating setup for v$VERSION"
git tag -a "v$VERSION" -m "OpenBoard setup for v$VERSION"
git push origin --tags
fi
fi

Loading…
Cancel
Save