chore(scripts): make the release script more flexible

vojtajina · vojtajina · commit 6d6ebf7c61d8 · 2014-03-14T14:24:21.000-07:00
Now the SHA can be short/long, whateva.
diff --git 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

Original file line number	Diff line number	Diff line change
`@@ -23,7 +23,7 @@ ARG_DEFS=(`
`23`	`23`	`)`
`24`	`24`
`25`	`25`	`function init {`
`26`		`- if [[ $(git rev-parse --short HEAD) != $COMMIT_SHA ]]; then`
	`26`	`+ if [[ $(git rev-parse HEAD) != $(git rev-parse $COMMIT_SHA) ]]; then`
`27`	`27`	`echo "HEAD is not at $COMMIT_SHA"`
`28`	`28`	`usage`
`29`	`29`	`fi`