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: |