[PATCH v2 1/4] waf_generator: Copy headers if necessary.

[Chris Johns]

On 12/08/2017 13:30, Sichen Zhao wrote:
>>> +    for headers in header_build_copy_paths:
>>> +        target = os.path.join("build-include", headers[2])
>>> +        start_dir = bld.path.find_dir(headers[0])
>>> +        for header in start_dir.ant_glob(os.path.join("**/", headers[1])):
>> Remove the '/':
>>
>>         for header in start_dir.ant_glob(os.path.join("**", headers[1])):
>>
>> OK to push once fixed.
>>
>> Chris
> This already done in the PATCH v2 2/4.
> -        self.add('        for header in 
> start_dir.ant_glob(os.path.join("**/", headers[1])):')
> +        self.add('        for header in start_dir.ant_glob(headers[1]):')

Excellent. These patches look good. Christian let me know if you want me to do this?

Thanks for your hard work.

Chris