diff options
author | Pjotr Prins | 2018-09-27 09:53:23 +0000 |
---|---|---|
committer | Pjotr Prins | 2018-09-27 09:53:23 +0000 |
commit | ec839a12c279317cec1135e9fdaa50fb00708d89 (patch) | |
tree | 42bf0faef7e51f60bef6d76e32a15ab417d61bdb | |
parent | 040e501d37dbe552f333b1afbb329116ee7fe1c7 (diff) | |
download | pangemma-ec839a12c279317cec1135e9fdaa50fb00708d89.tar.gz |
Using -no-check by default now
-rw-r--r-- | README.md | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -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 |