diff options
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() |