git.samba.org
/
ira
/
wip.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
7a57f72
)
build: added public_headers_allow_broken option
author
Andrew Tridgell
<tridge@samba.org>
Tue, 8 Mar 2011 05:42:42 +0000
(16:42 +1100)
committer
Andrew Tridgell
<tridge@samba.org>
Tue, 15 Mar 2011 01:22:20 +0000
(12:22 +1100)
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
buildtools/wafsamba/samba_headers.py
patch
|
blob
|
history
diff --git
a/buildtools/wafsamba/samba_headers.py
b/buildtools/wafsamba/samba_headers.py
index a03254e328506d4c556576d3f7d3a5779650ed37..cabafd1fd206cfd93b6cddf402060412199e1b20 100644
(file)
--- 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()