diff options
Diffstat (limited to 'development/maude/README')
| -rw-r--r-- | development/maude/README | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/development/maude/README b/development/maude/README index c75ddb5a0f..ddeea49996 100644 --- a/development/maude/README +++ b/development/maude/README @@ -15,4 +15,7 @@ you may: - export the variable to the environment, then run maude $ export MAUDE_LIB=/usr/share/maude/ - $ maude
\ No newline at end of file + $ maude + +If you'd like to run maude's built-in test suite, export CHECK=yes +in the script's environment. |