reset URL via git remote set-url, update boost

Signed-off-by: Felix Gündling <felix.guendling@gmail.com>
motis-project · Jun 3, 2024 · 690d9aa · 690d9aa
1 parent 6fa6f5a
commit 690d9aa
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git a/deps/boost b/deps/boost
diff --git a/src/load_deps.cc b/src/load_deps.cc
@@ -41,6 +41,7 @@ void load_deps(fs::path const& repo, fs::path const& deps_root,
             (d->commit_ != bc.commit_ && !commit_exists(d, bc.commit_))) {
           fmt::print("{}: fetch\n", d->name());
           std::cout << std::flush;
+          e.exec(d->path_, "git remote set-url {}", d->url_);
           e.exec(d->path_, "git fetch origin");
         }