diff options
| author | Max Kellermann <max@musicpd.org> | 2021-04-07 10:14:58 +0200 |
|---|---|---|
| committer | Max Kellermann <max@musicpd.org> | 2021-04-07 13:50:05 +0200 |
| commit | 1dc71f383ac9f6a259b3e78199236e4ba8fb8f40 (patch) | |
| tree | cef0cacbb58086420b215c4151fa8a42ca633397 | |
| parent | 6dfebf7df9596fc8f1a3f07d2270bc646e08c7b2 (diff) | |
python/build/boost.py: touch boost/version.hpp to avoid reinstalling all the time
| -rw-r--r-- | python/build/boost.py | 5 |
1 files changed, 5 insertions, 0 deletions
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)) |