diff options
Diffstat (limited to 'tools/generate-operator-out.py')
| -rwxr-xr-x | tools/generate-operator-out.py | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/tools/generate-operator-out.py b/tools/generate-operator-out.py index b1d102eab6..ca7df1e48d 100755 --- a/tools/generate-operator-out.py +++ b/tools/generate-operator-out.py @@ -123,6 +123,9 @@ def main(): print for header_file in header_files: + # Make gives us paths relative to the top of the tree, but our -I is art/. + # We also have -I art/src/, but icu4c is higher on the include path and has a "mutex.h" too. + header_file = header_file.replace('art/', '') print '#include "%s"' % header_file print |