diff options
Diffstat (limited to 'README_d/README.zLinux')
| -rw-r--r-- | README_d/README.zLinux | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/README_d/README.zLinux b/README_d/README.zLinux index 2ff18fff..e9dbcb60 100644 --- a/README_d/README.zLinux +++ b/README_d/README.zLinux @@ -6,7 +6,7 @@ before compiling: 1. Run configure. 2. Edit the top-level Makefile and extension/Makefile and change -O2 to -O1. -3. Run `make && make' check as usual. +3. Run `make && make check' as usual. If you don't change the optimization level, the testext test will fail. |