[DEV] correct copy headers

This commit is contained in:
Edouard DUPIN 2015-09-14 23:24:05 +02:00
parent a070f64716
commit 979e71c101

View File

@ -558,7 +558,7 @@ class Module:
for file in self.header:
src_path = os.path.join(self.origin_path, file)
dst_path = os.path.join(target.get_build_path_include(self.name), file)
tools.copy_file(src_path, dst_path);
tools.copy_file(src_path, dst_path, force_identical=True);
# ----------------------------------------------------
# -- install data --