doc: update readme (Z3Prover#5898)

add the command to `mkdir build` first
VeriFIT · Mar 14, 2022 · 313b87f · 313b87f
1 parent 545341e
commit 313b87f
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/README.md b/README.md
@@ -42,7 +42,7 @@ python scripts/mk_make.py -x
 then:
 
 ```bash
-cd build
+mkdir build && cd build
 nmake
 ```
 
@@ -54,7 +54,7 @@ Execute:
 
 ```bash
 python scripts/mk_make.py
-cd build
+mkdir build && cd build
 make
 sudo make install
 ```
@@ -86,7 +86,7 @@ the ``--prefix=`` command line option to change the install prefix. For example:
 
 ```bash
 python scripts/mk_make.py --prefix=/home/leo
-cd build
+mkdir build && cd build
 make
 make install
 ```