diff options
| author | Raphael Moll <raphael@google.com> | 2013-10-14 16:43:56 -0700 |
|---|---|---|
| committer | Raphaël Moll <ralf@android.com> | 2013-10-14 23:50:51 +0000 |
| commit | beca3c1f8f67e273fc7b6be5343ef95950047293 (patch) | |
| tree | ee1da277ef27d9c5dd1c2f7f41c169221a8f1dbf /eclipse/scripts | |
| parent | f62da4dbe0badb8acd6ca9f87294d11342c4f351 (diff) | |
| download | sdk-beca3c1f8f67e273fc7b6be5343ef95950047293.zip sdk-beca3c1f8f67e273fc7b6be5343ef95950047293.tar.gz sdk-beca3c1f8f67e273fc7b6be5343ef95950047293.tar.bz2 | |
Switch ADT to 22.3.0 (fix build)
Change-Id: I388397dde0f465409e7cede32ce38cc91a8f94c3
(cherry picked from commit fc5197e3e4de338b895c2fb8c15faea60024dfb7)
Diffstat (limited to 'eclipse/scripts')
| -rwxr-xr-x | eclipse/scripts/update_version.sh | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/eclipse/scripts/update_version.sh b/eclipse/scripts/update_version.sh index 88a0e6c..5b54c99 100755 --- a/eclipse/scripts/update_version.sh +++ b/eclipse/scripts/update_version.sh @@ -21,6 +21,13 @@ if [ `basename "$PWD"` != "eclipse" ]; then exit 1 fi +# sanity check the new version number +if [[ "$NEW" =~ ^[0-9]+\.[0-9]+\.[0-9]+$ ]]; then + echo "## Version $NEW: seems valid." +else + echo "## Version $NEW: does not conform to major.mino.micro format." + exit 1 +fi function replace() { if [[ -f "$1" ]]; then |