diff options
| author | Bert Belder <bertbelder@gmail.com> | 2019-03-04 20:24:51 -0800 |
|---|---|---|
| committer | Bert Belder <bertbelder@gmail.com> | 2019-03-04 21:01:52 -0800 |
| commit | 860be9f0de0713150030428db44d326831ce6ad2 (patch) | |
| tree | 25ee003816b862f9478fa41294058dbbf52627b7 /website/manual.md | |
| parent | 25359bcc03b2c819d6573f273c8892a6c5a978ee (diff) | |
tools: remove fix_symlinks() function
This fixes an issue on Windows that causes build to fails when
fix_symlinks() is called concurrently with another build step.
It is also no longer necessary, since recent versions of git know how to
properly create symbolic links on checkout.
Diffstat (limited to 'website/manual.md')
| -rw-r--r-- | website/manual.md | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/website/manual.md b/website/manual.md index f16fa4345..acb239604 100644 --- a/website/manual.md +++ b/website/manual.md @@ -167,6 +167,7 @@ Extra steps for Windows users: `Programs and Features` → Select `Windows Software Development Kit - Windows 10` → `Change` → `Change` → Check `Debugging Tools For Windows` → `Change` -> `Finish`. +4. Make sure you are using git version 2.19.2.windows.1 or newer. #### Other useful commands |