diff options
| -rw-r--r-- | buildtools/wafsamba/samba_headers.py | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/buildtools/wafsamba/samba_headers.py b/buildtools/wafsamba/samba_headers.py index a03254e328..cabafd1fd2 100644 --- a/buildtools/wafsamba/samba_headers.py +++ b/buildtools/wafsamba/samba_headers.py @@ -1,6 +1,6 @@ # specialist handling of header files for Samba -import Build, re, Task, TaskGen, shutil, sys +import Build, re, Task, TaskGen, shutil, sys, Logs from samba_utils import * @@ -87,6 +87,11 @@ def create_public_header(task): if found: continue + if task.env.public_headers_allow_broken: + Logs.warn("Broken public header include '%s' in '%s'" % (hpath, relsrc)) + outfile.write(line) + continue + # try to be nice to the developer by suggesting an alternative suggested = find_suggested_header(hpath) outfile.close() |