commit 764d0f19151dbff6f5fcd9fc4b2682cf934590c5
author Mike McCandless <mikemccand@apache.org> Sat Aug 20 04:31:14 2016 -0400
committer Mike McCandless <mikemccand@apache.org> Sat Aug 20 04:31:14 2016 -0400
tree a4ac84923eac1feaf5b3976d24fe36d789a8abc6
parent 326db813fa1791a3ada5d5dafebfb47268f03632

allow ant 1.9.x as well

dev-tools/scripts/buildAndPushRelease.py

diff --git a/dev-tools/scripts/buildAndPushRelease.py b/dev-tools/scripts/buildAndPushRelease.py
index 1deb798..e34c943 100644
--- a/dev-tools/scripts/buildAndPushRelease.py
+++ b/dev-tools/scripts/buildAndPushRelease.py
@@ -218,7 +218,7 @@
   if os.system('git --version >/dev/null 2>/dev/null'):
     raise RuntimeError('"git --version" returned a non-zero exit code.')
   antVersion = os.popen('ant -version').read().strip()
-  if not antVersion.startswith('Apache Ant(TM) version 1.8'):
+  if not antVersion.startswith('Apache Ant(TM) version 1.8') and not antVersion.startswith('Apache Ant(TM) version 1.9'):
     raise RuntimeError('ant version is not 1.8.X: "%s"' % antVersion)
   
 def main():