| Index: ppapi/generators/generator.py
|
| diff --git a/ppapi/generators/generator.py b/ppapi/generators/generator.py
|
| index c65fe4c701d90a9ca4eb51af2a87a95c5895908c..ffa24d338ae14d97bd38db76eb77a3187cbdf0ab 100755
|
| --- a/ppapi/generators/generator.py
|
| +++ b/ppapi/generators/generator.py
|
| @@ -20,7 +20,11 @@ def Main():
|
| # If no arguments are provided, assume we are trying to rebuild the
|
| # C headers with warnings off.
|
| if not args:
|
| - args = ['--wnone', '--cgen', '--range=start,end']
|
| + args = [
|
| + '--wnone', '--cgen', '--range=start,end',
|
| + '--pnacl', '--pnaclshim',
|
| + '../native_client/src/untrusted/pnacl_irt_shim/pnacl_shim.c',
|
| + ]
|
| current_dir = os.path.abspath(os.getcwd())
|
| script_dir = os.path.abspath(os.path.dirname(__file__))
|
| if current_dir != script_dir:
|
|
|