mirror of
https://github.com/ClickHouse/ClickHouse.git
synced 2024-11-29 02:52:13 +00:00
Update website.py
This commit is contained in:
parent
3fbc62d23e
commit
6a48af8021
@ -125,8 +125,7 @@ def minify_website(args):
|
|||||||
'--compilation_level', 'SIMPLE',
|
'--compilation_level', 'SIMPLE',
|
||||||
'--dependency_mode', 'NONE',
|
'--dependency_mode', 'NONE',
|
||||||
'--third_party', '--use_types_for_optimization',
|
'--third_party', '--use_types_for_optimization',
|
||||||
'--isolation_mode', 'IIFE',
|
'--isolation_mode', 'IIFE'
|
||||||
'--create_source_map', '%outname%.map'
|
|
||||||
]
|
]
|
||||||
logging.info(closure_args)
|
logging.info(closure_args)
|
||||||
if closure.run(*closure_args):
|
if closure.run(*closure_args):
|
||||||
|
Loading…
Reference in New Issue
Block a user