diff options
author | Josh Haberman <jhaberman@gmail.com> | 2019-02-17 20:36:26 -0800 |
---|---|---|
committer | Josh Haberman <jhaberman@gmail.com> | 2019-02-17 20:36:26 -0800 |
commit | ad905b08f5f93b497311290fb4df4059ccd083eb (patch) | |
tree | 46a5b26cd685c9b4b64aef8423fcb901caeae94c /tools | |
parent | 5575a228c9e529d3d7656d777f876ca7062f4535 (diff) |
Fixed amalgamation to properly include stdint.h first for UPB_SIZE().
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): |