diff --git a/tools/cargo/build.rs b/tools/cargo/build.rs index b8ff9dda..c0a94bcb 100644 --- a/tools/cargo/build.rs +++ b/tools/cargo/build.rs @@ -12,7 +12,7 @@ Either use: prior to cloning, or else use: - $ git clone -c core.symlinks=true ... + $ git clone -c core.symlinks=true https://github.com/dtolnay/cxx for the clone.