[PATCH v2 1/4] waf_generator: Copy headers if necessary.
Christian Mauderer
list at c-mauderer.de
Sat Aug 12 09:05:56 UTC 2017
Am 12.08.2017 um 05:57 schrieb 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
Hello Chris,
yes, I think the patches are ready for merge. The little nitpick in the
os.path.join is something that is replaced in the second patch anyway
(like Sichen already mentioned) so I don't think it's worth the effort
to change it.
@Sichen: The patch 2/4 has been posted two times and the patch
containing the raw import is missing (most likely due to the size).
Could you post a link to a branch on your github repo with only these
four patches applied to the current master so Chris can make the merge?
Kind regards
Christian
More information about the devel
mailing list