README-configure: recommend 'make -k check' instead of 'make check'

* maint/install.texi: Replace 'make check' with 'make -k check'.
* README-configure: Regenerate.

diff --git a/README-configure b/README-configure
index c39085af995dadc903147fb9cb2ea13d8f4c674e..de1476793722ee7b9654661830a4cb146e460159 100644 (file)
--- a/README-configure
+++ b/README-configure
@@ -57,7 +57,7 @@ you want to change it or regenerate 'configure' using a newer version of
 
   2. Type 'make' to compile the package.
 
-  3. Optionally, type 'make check' to run any self-tests that come with
+  3. Optionally, type 'make -k check' to run any self-tests that come with
      the package, generally using the just-built uninstalled binaries.
 
   4. Type 'make install' to install the programs and any data files and

diff --git a/maint/install.texi b/maint/install.texi
index 0c4b4b576674f9160e0d041e7b1eb5c3e3ac2bf3..7f023796d7477796361f9b85f21f5791dd2b323b 100644 (file)
--- a/maint/install.texi
+++ b/maint/install.texi
@@ -73,7 +73,7 @@ messages telling which features it is checking for.
 Type @samp{make} to compile the package.
 
 @item
-Optionally, type @samp{make check} to run any self-tests that come with
+Optionally, type @samp{make -k check} to run any self-tests that come with
 the package, generally using the just-built uninstalled binaries.
 
 @item