diff options
author | Maksim Denisov <denisov.maksim@huawei.com> | 2025-02-11 14:00:42 +0100 |
---|---|---|
committer | Maksim Denisov <denisov.maksim@huawei.com> | 2025-02-12 09:49:39 +0100 |
commit | 3a5a02e0c48957c3a66130abdae0ff7b3d12905f (patch) | |
tree | e0bca8c8300d9f594016b32c66366ecd3ed75ac8 /src/buildtool/execution_engine/executor | |
parent | 736571bd63aa129e7601182183faa34fd58888d1 (diff) | |
download | justbuild-3a5a02e0c48957c3a66130abdae0ff7b3d12905f.tar.gz |
BackMap: make non-copyable and non-movable
...and use std::unique_ptr for construction instead of std::optional.
Diffstat (limited to 'src/buildtool/execution_engine/executor')
-rw-r--r-- | src/buildtool/execution_engine/executor/executor.hpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/buildtool/execution_engine/executor/executor.hpp b/src/buildtool/execution_engine/executor/executor.hpp index c32e2c3f..8519639f 100644 --- a/src/buildtool/execution_engine/executor/executor.hpp +++ b/src/buildtool/execution_engine/executor/executor.hpp @@ -304,7 +304,7 @@ class ExecutorImpl { *entry.second->Size(), entry.second->IsTree()); }); - if (not back_map.has_value()) { + if (back_map == nullptr) { return false; } |