diff options
| author | Vojta Jina | 2014-03-14 14:24:21 -0700 |
|---|---|---|
| committer | Vojta Jina | 2014-03-14 14:24:21 -0700 |
| commit | 6d6ebf7c61d8ae18175f5b08395ed25e731f03d7 (patch) | |
| tree | c2207433f65a391e9cd0cb93f4e73c7d2c80c0cb /scripts | |
| parent | 44b940e88ddc6483baf1907496510d1d7fba8530 (diff) | |
| download | angular.js-6d6ebf7c61d8ae18175f5b08395ed25e731f03d7.tar.bz2 | |
chore(scripts): make the release script more flexible
Now the SHA can be short/long, whateva.
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/jenkins/release.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/jenkins/release.sh b/scripts/jenkins/release.sh index 8c1e46bc..bb512f70 100755 --- a/scripts/jenkins/release.sh +++ b/scripts/jenkins/release.sh @@ -23,7 +23,7 @@ ARG_DEFS=( ) function init { - if [[ $(git rev-parse --short HEAD) != $COMMIT_SHA ]]; then + if [[ $(git rev-parse HEAD) != $(git rev-parse $COMMIT_SHA) ]]; then echo "HEAD is not at $COMMIT_SHA" usage fi |