diff options
| author | Michael Thies <mail@mhthies.de> | 2023-07-16 00:23:00 +0000 |
|---|---|---|
| committer | Klaus Aehlig <klaus.aehlig@huawei.com> | 2023-07-17 13:56:19 +0200 |
| commit | 1e70040de70591c66982121d45875839932334f0 (patch) | |
| tree | 404c17b04ac206a75f00ba2f73f521f848bb5b27 | |
| parent | 559fc11dd6c9c157d719c6c88f94ced3f2c74466 (diff) | |
| download | justbuild-1e70040de70591c66982121d45875839932334f0.tar.gz | |
operation_cache: add missing include
| -rw-r--r-- | src/buildtool/execution_api/execution_service/operation_cache.hpp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/buildtool/execution_api/execution_service/operation_cache.hpp b/src/buildtool/execution_api/execution_service/operation_cache.hpp index 97b137fb..25ca49a7 100644 --- a/src/buildtool/execution_api/execution_service/operation_cache.hpp +++ b/src/buildtool/execution_api/execution_service/operation_cache.hpp @@ -16,6 +16,7 @@ #define OPERATION_CACHE_HPP #include <atomic> +#include <mutex> #include <optional> #include <shared_mutex> #include <string> |