diff options
Diffstat (limited to 'development/maude/README')
| -rw-r--r-- | development/maude/README | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/development/maude/README b/development/maude/README index a4fec96e3aec..ddeea499964e 100644 --- a/development/maude/README +++ b/development/maude/README @@ -16,3 +16,6 @@ you may: - export the variable to the environment, then run maude $ export MAUDE_LIB=/usr/share/maude/ $ maude + +If you'd like to run maude's built-in test suite, export CHECK=yes +in the script's environment. |