1 files changed, 2 insertions, 0 deletions
diff --git a/configure.py b/configure.py
index 0b1df5fc3..5cede50e0 100755
--- a/configure.py
+++ b/configure.py
@@ -2518,6 +2518,8 @@ class AmalgamationGenerator(object):
         internal_headers = []
 
         def known_isa_header(hdr):
+            if self._options.single_amalgamation_file:
+                return None
             if hdr == 'simd_avx2.h':
                 return 'avx2'
             return None