From 3153b72415866c9b2175b85eef1467361ad2bd11 Mon Sep 17 00:00:00 2001 From: Andrew Ashworth Date: Wed, 14 Dec 2016 23:16:23 -0500 Subject: [PATCH] fix(doc/make/msys2): incorrect build instructions -D CMAKE_BUILD_TYPE=Release does nothing since the default build type is Release. Also, it should be enclosed in quotes "-D CMAKE_BUILD_TYPE=Release", otherwise the shell/cmake fails to properly interpret the arguments. --- doc/make/msys2.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/make/msys2.md b/doc/make/msys2.md index e50570e3b3..16ff213806 100644 --- a/doc/make/msys2.md +++ b/doc/make/msys2.md @@ -30,6 +30,6 @@ In the [msys2] shell, execute the following commands. git clone https://github.com/leanprover/lean cd lean mkdir build && cd build -cmake ../src -G Ninja -D CMAKE_BUILD_TYPE=Release +cmake ../src -G Ninja ninja ```