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 09:18:38 +0200 |
| commit | c87d2ac032f682f489e23d5950cd3166f3e303a2 (patch) | |
| tree | b8ba4acf78fc7c7b8738eae57513e4636293e1f3 /src | |
| parent | e60c1168d4d0b43bff7acf19e35f44c786d4fff9 (diff) | |
| download | justbuild-c87d2ac032f682f489e23d5950cd3166f3e303a2.tar.gz | |
operation_cache: add missing include
Diffstat (limited to 'src')
| -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> |