Index: wafadmin/Configure.py
===================================================================
--- wafadmin/Configure.py (Revision 582279)
+++ wafadmin/Configure.py (Arbeitskopie)
@@ -346,6 +346,8 @@
found = [foundname, foundpath]
break
+ self.conf.checkMessage('header '+headername, '', ret, option=incpath)
+
if ret: break
if not ret: # Either the header was not found in the incpaths, or no paths were given. Test if the compiler can find the header anyway
@@ -365,12 +367,12 @@
foundpath = ''
found = [foundname, foundpath]
break
+
+ self.conf.checkMessage('header '+headername+' via compiler', '', ret, option='')
if found: ret = 1
else: ret = 0
- self.conf.checkMessage('header '+foundname, '', ret, option=foundpath)
-
if self.define_name:
env[self.define_name] = ret