diff options
Diffstat (limited to 'tools/amalgamate.py')
| -rwxr-xr-x | tools/amalgamate.py | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/tools/amalgamate.py b/tools/amalgamate.py index c4c8a1b..5545af5 100755 --- a/tools/amalgamate.py +++ b/tools/amalgamate.py @@ -22,6 +22,7 @@ class Amalgamator: self.output_c.write(open("upb/port_def.inc").read()) self.output_h.write("/* Amalgamated source file */\n") + self.output_h.write('#include <stdint.h>') self.output_h.write(open("upb/port_def.inc").read()) def finish(self): @@ -52,6 +53,10 @@ output_path = sys.argv[2] amalgamator = Amalgamator(include_path, output_path) for filename in sys.argv[3:]: + # Leave JIT out of the amalgamation. + if "x64" in filename or "dynasm" in filename: + continue + amalgamator.add_src(filename.strip()) amalgamator.finish() |