README: Recommend building with optimizations on

2018-07-29 21:27:14 +02:00 · 2018-07-29 21:27:14 +02:00 · 53240706cf
commit 53240706cf
parent de0aeeb12d
1 changed files with 6 additions and 4 deletions
--- a/README.md
+++ b/README.md
@ -47,12 +47,14 @@ Prior art
 Build
 -----

-    cargo build
+    cargo build --release

-Test (requires bash)
--------------------
+Test
+----

-    cargo test
+    cargo test --release
+
+(requires bash)

 Usage advice
 ------------