diff options
author | Alon Zakai <alonzakai@gmail.com> | 2013-12-20 17:26:15 -0800 |
---|---|---|
committer | Alon Zakai <alonzakai@gmail.com> | 2013-12-20 17:26:15 -0800 |
commit | 982d3e0bc54e278991a17a857c28445ec6b5aafc (patch) | |
tree | 8a29a7573d56a18b64cb92b107a97bb6cdd7ffad /emcc | |
parent | 702cf8f1e8a173a15a745c5ac3bae654c99fe33c (diff) | |
parent | f7f3ae7fce97483e9a00ea9a1bd1742f5221bb1c (diff) |
Merge pull request #1922 from coolwanglu/embed_dot_files
--exclude-file
Diffstat (limited to 'emcc')
-rwxr-xr-x | emcc | 13 |
1 files changed, 13 insertions, 0 deletions
@@ -341,6 +341,10 @@ Options that are modified or new in %s include: For more docs on the options --preload-file accepts, see https://github.com/kripken/emscripten/wiki/Filesystem-Guide + --exclude-file <name> Files and directories to be excluded from + --embed-file and --preload-file + wildcard is supported + --compression <codec> Compress both the compiled code and embedded/ preloaded files. <codec> should be a triple, @@ -780,6 +784,7 @@ try: split_js_file = None preload_files = [] embed_files = [] + exclude_files = [] compression = None ignore_dynamic_linking = False shell_path = shared.path_from_root('src', 'shell.html') @@ -896,6 +901,11 @@ try: preload_files.append(newargs[i+1]) newargs[i] = '' newargs[i+1] = '' + elif newargs[i].startswith('--exclude-file'): + check_bad_eq(newargs[i]) + exclude_files.append(newargs[i+1]) + newargs[i] = '' + newargs[i+1] = '' elif newargs[i].startswith('--compression'): check_bad_eq(newargs[i]) parts = newargs[i+1].split(',') @@ -1738,6 +1748,9 @@ try: if len(embed_files) > 0: file_args.append('--embed') file_args += embed_files + if len(exclude_files) > 0: + file_args.append('--exclude') + file_args += exclude_files if Compression.on: file_args += ['--compress', Compression.encoder, Compression.decoder, Compression.js_name] if use_preload_cache: |