diff options
author | lloyd <[email protected]> | 2012-08-13 14:42:07 +0000 |
---|---|---|
committer | lloyd <[email protected]> | 2012-08-13 14:42:07 +0000 |
commit | 82da86e2fb7e6b47ae893cad8bb2db44da090bd1 (patch) | |
tree | 27ddfd646c8888dbad71a1926257e49543ea657a /configure.py | |
parent | b3226586f6e0b48afb90fef41a07e47d6d70c721 (diff) |
Includes for <functional> don't need to be a special case in the
amalgamation anymore. Was for TR1 because VC++ put it in <functional>
and everyone else put it in <tr1/functional>
Diffstat (limited to 'configure.py')
-rwxr-xr-x | configure.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/configure.py b/configure.py index 2f780a50d..cdd92f228 100755 --- a/configure.py +++ b/configure.py @@ -1581,7 +1581,7 @@ def generate_amalgamation(build_config): else: match = std_include.search(line) - if match and match.group(1) != 'functional': + if match: self.all_std_includes.add(match.group(1)) else: yield line |