diff --git a/python/build/boost.py b/python/build/boost.py index 26cdfae4f..8d33ba775 100644 --- a/python/build/boost.py +++ b/python/build/boost.py @@ -21,3 +21,8 @@ class BoostProject(Project): dest = os.path.join(includedir, 'boost') shutil.rmtree(dest, ignore_errors=True) shutil.copytree(os.path.join(src, 'boost'), dest) + + # touch the boost/version.hpp file to ensure it's newer than + # the downloaded Boost tarball, to avoid reinstalling Boost on + # every run + os.utime(os.path.join(toolchain.install_prefix, self.installed))