diff options
Diffstat (limited to 'buildscripts/sourcepush.py')
| -rw-r--r-- | buildscripts/sourcepush.py | 11 |
1 files changed, 9 insertions, 2 deletions
diff --git a/buildscripts/sourcepush.py b/buildscripts/sourcepush.py index e389afb5cb0..36e4a7ecb48 100644 --- a/buildscripts/sourcepush.py +++ b/buildscripts/sourcepush.py @@ -57,14 +57,21 @@ def push_tag( bucket , tag , extension , gzip=False ): os.remove( localName ) -def push_all(): +def push_all( filter=None): tags = run_git("tag -l").strip().split( "\n" ) bucket = simples3.S3Bucket( settings.bucket , settings.id , settings.key ) for tag in tags: + if filter and tag.find( filter ) < 0: + print( "skipping %s because it doesn't match filter %s" % ( tag, filter ) ) + continue push_tag( bucket , tag , "tar" , True ) push_tag( bucket , tag , "zip" ) if __name__ == "__main__": - push_all() + filter = None + if len(sys.argv) > 1: + filter = sys.argv[1] + print( "filter: %s" % filter ) + push_all(filter) |