diff --git a/mps/TESTING b/mps/TESTING index 18082aa05bb..f91cec40468 100644 --- a/mps/TESTING +++ b/mps/TESTING @@ -30,8 +30,8 @@ Here: is as used in the build above, but without the .gmk extension (e.g., lii6gc for 64-bit GNU/Linux+GCC, w3i6gc for 64-bit MinGW build on Windows, etc.) - is the part of the test suite to run, see below is either "cool" or "hot"; we suggest running both + is the part of the test suite to run, see below The important test suites to use are: