diff --git a/dev-tools/scripts/buildAndPushRelease.py b/dev-tools/scripts/buildAndPushRelease.py index a3ce1f0762c..b96ec30dd25 100755 --- a/dev-tools/scripts/buildAndPushRelease.py +++ b/dev-tools/scripts/buildAndPushRelease.py @@ -219,15 +219,15 @@ def pushLocal(version, root, rev, rcNum, localDir): print(' Lucene') lucene_dist_dir = '%s/lucene/distribution/build/release' % root os.chdir(lucene_dist_dir) - print(' zip...') - if os.path.exists('lucene.tar.bz2'): - os.remove('lucene.tar.bz2') - run('tar cjf lucene.tar.bz2 *') + print(' archive...') + if os.path.exists('lucene.tar'): + os.remove('lucene.tar') + run('tar cf lucene.tar *') os.chdir('%s/%s/lucene' % (localDir, dir)) - print(' unzip...') - run('tar xjf "%s/lucene.tar.bz2"' % lucene_dist_dir) - os.remove('%s/lucene.tar.bz2' % lucene_dist_dir) + print(' extract...') + run('tar xf "%s/lucene.tar"' % lucene_dist_dir) + os.remove('%s/lucene.tar' % lucene_dist_dir) os.chdir('..') print(' chmod...')