diff options
author | Joshua Haberman <jhaberman@gmail.com> | 2019-03-27 15:32:05 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-03-27 15:32:05 -0700 |
commit | cf35baa1ad70f0dca734f93bcc2b54d8d059bcdd (patch) | |
tree | 3c9881fcceaba1dbb5f04fe01ddc5f2dc5c647d1 /tools | |
parent | 928ef7f2c02f18d9945dd750884dffbdebef1b98 (diff) |
Moved macros from upb.h to port_def.inc to avoid leaking them to users. (#160)
* Use port_def.inc to prevent macros from leaking to users.
* Added helpful comments to port_def.inc/port_undef.inc.
Diffstat (limited to 'tools')
-rwxr-xr-x | tools/amalgamate.py | 7 |
1 files changed, 2 insertions, 5 deletions
diff --git a/tools/amalgamate.py b/tools/amalgamate.py index 374d126..ed5f665 100755 --- a/tools/amalgamate.py +++ b/tools/amalgamate.py @@ -52,10 +52,7 @@ 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()) + if filename.endswith(".h") or filename.endswith(".inc"): + amalgamator.add_src(filename.strip()) amalgamator.finish() |