FWGS
/
waf
mirror of https://gitlab.com/ita1024/waf.git
2
0
Fork 0
Code Issues Projects Releases Wiki Activity

With Jython, create a gzip file by default

This commit is contained in:
Thomas Nagy 2015-10-06 22:17:27 +02:00
parent 43aef10ebf
commit 061f8e2b1d
No known key found for this signature in database
GPG Key ID: 67A565EDFDF90E64
1 changed files with 5 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
wscript
View File

@ -90,7 +90,10 @@ def options(opt):
opt.add_option('--sign', action='store_true', default=False, help='make a signed file', dest='signed')
opt.add_option('--zip-type', action='store', default='bz2',
default_zip = 'bz2'
if os.name == 'java':
default_zip = 'gz'
opt.add_option('--zip-type', action='store', default=default_zip,
help='specify the zip type [Allowed values: %s]' % ' '.join(zip_types), dest='zip')
opt.add_option('--make-batch', action='store_true', default=False,
@ -401,7 +404,7 @@ def make_copy(inf, outf):
f.close()
def configure(conf):
conf.find_program('python')
conf.load('python')
def build(bld):
waf = bld.path.make_node('waf') # create the node right here