diff options
author | Andrew Tridgell <tridge@samba.org> | 2011-03-08 16:42:42 +1100 |
---|---|---|
committer | Andrew Tridgell <tridge@samba.org> | 2011-03-15 12:22:20 +1100 |
commit | fd328f8f81e48943462a6de8c9cd1b78624a1987 (patch) | |
tree | 4d804495e8866393c2458b9e08274b13ed144602 /buildtools | |
parent | 7a57f72ef46f37e90aaa05926636c57cdd91b4a4 (diff) | |
download | samba-fd328f8f81e48943462a6de8c9cd1b78624a1987.tar.gz |
build: added public_headers_allow_broken option
the s3 waf build will use this to say that we should allow public
headers that contain references to non-public headers. In the s4 build
that is not allowed, but the s3 build does not yet have clean public
headers
Diffstat (limited to 'buildtools')
-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 a03254e3285..cabafd1fd20 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() |