diff options
| author | B. Watson <yalhcru@gmail.com> | 2022-03-23 13:39:35 -0400 |
|---|---|---|
| committer | Willy Sudiarto Raharjo <willysr@slackbuilds.org> | 2022-03-26 01:20:11 +0700 |
| commit | c96ceb17454f01a9db8a3fab0be3aec810da4dd8 (patch) | |
| tree | 6e92ec7da9e276ebc137dbcdb7ecc703213637b3 /development/maude/README | |
| parent | 2485399468e22b35a492c99e8147a974306be0e8 (diff) | |
development/maude: Fix 32-bit build.
Signed-off-by: B. Watson <yalhcru@gmail.com>
Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
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 a4fec96e3aecc..ddeea499964e3 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. |