aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorPjotr Prins2018-09-27 09:53:23 +0000
committerPjotr Prins2018-09-27 09:53:23 +0000
commitec839a12c279317cec1135e9fdaa50fb00708d89 (patch)
tree42bf0faef7e51f60bef6d76e32a15ab417d61bdb
parent040e501d37dbe552f333b1afbb329116ee7fe1c7 (diff)
downloadpangemma-ec839a12c279317cec1135e9fdaa50fb00708d89.tar.gz
Using -no-check by default now
-rw-r--r--README.md4
1 files changed, 2 insertions, 2 deletions
diff --git a/README.md b/README.md
index 28d4cd4..ae6ac5b 100644
--- a/README.md
+++ b/README.md
@@ -132,10 +132,10 @@ Above example files can be downloaded from
GEMMA has a wide range of debugging options which can be viewed with
```
-./bin/gemma -h 14
+gemma -h 14
DEBUG OPTIONS
- -no-check disable checks
+ -check enable checks (slower)
-no-fpe-check disable hardware floating point checking
-strict strict mode will stop when there is a problem
-silence silent terminal display