commit | 5db95509d2f128d5f9e2104f59765bd8aeb62dd6 | [log] [tgz] |
---|---|---|
author | Treehugger Robot <treehugger-gerrit@google.com> | Fri Feb 23 10:39:29 2018 +0000 |
committer | Gerrit Code Review <noreply-gerritcodereview@google.com> | Fri Feb 23 10:39:29 2018 +0000 |
tree | 8cb527f93f4295ace38d7875632138e17fb41024 | |
parent | 0f9b9a667f6ca967c380ecc690b45beb50667ddb [diff] | |
parent | ce5771f70cec4261a9c5d0682cc290ecd80e8468 [diff] |
Merge "Fixed minor issue in update script argument handling"
diff --git a/update-from-external.sh b/update-from-external.sh index 397dac8..18ada95 100755 --- a/update-from-external.sh +++ b/update-from-external.sh
@@ -7,7 +7,7 @@ # # Does not create a GIT commit. -if [ $# -eq 0 ]; then +if [ $# -ne 1 ]; then echo "usage: $0 <version>" echo " where <version> is the version number, e.g. 7.7.3" exit 1