diff options
| author | Alberto Sartori <alberto.sartori@huawei.com> | 2022-06-14 17:59:38 +0200 |
|---|---|---|
| committer | Alberto Sartori <alberto.sartori@huawei.com> | 2022-06-14 18:14:45 +0200 |
| commit | 37f7e717f3bc8792eb6c7389cb88aec50e414293 (patch) | |
| tree | ed67cbcd3c0d6327f4e99f3c6dee9c9733bcf165 /doc/tutorial | |
| parent | a9e46c62e6a62cf2d7983accfe6f9fa432c720dc (diff) | |
| download | justbuild-37f7e717f3bc8792eb6c7389cb88aec50e414293.tar.gz | |
fix handling of workspace root for the main repository
commit fd58a5eb429d4a9db51f73c06137f1a4ebe41c08 introduced a bug. If
the main workspace root is a git repo, it will be overwritten by a
std::optional<std::filesystem::path> storing std::nullopt. This patch
fixes this wrong behaviour.
Diffstat (limited to 'doc/tutorial')
0 files changed, 0 insertions, 0 deletions