From 1dc71f383ac9f6a259b3e78199236e4ba8fb8f40 Mon Sep 17 00:00:00 2001 From: Max Kellermann Date: Wed, 7 Apr 2021 10:14:58 +0200 Subject: [PATCH] python/build/boost.py: touch boost/version.hpp to avoid reinstalling all the time --- python/build/boost.py | 5 +++++ 1 file changed, 5 insertions(+) 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))