diff options
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/amalgamate.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/amalgamate.py b/tools/amalgamate.py index 9640201..374d126 100755 --- a/tools/amalgamate.py +++ b/tools/amalgamate.py @@ -21,6 +21,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): |