diff options
-rwxr-xr-x | release-helpers/release.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/release-helpers/release.sh b/release-helpers/release.sh index 888570a..8458b1f 100755 --- a/release-helpers/release.sh +++ b/release-helpers/release.sh @@ -270,6 +270,7 @@ BASE=`pwd` ### Tag the source git tag ${VERSION} +check_error $? "Unable to git tag" ### Now generate the RTEMS tarball generation vecho "Generating the RTEMS tarball" |