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
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 |