From 7936d1c7df4c437b3837774de6ee46a799e48253 Mon Sep 17 00:00:00 2001 From: Anatoly Pugachev Date: Thu, 18 Jul 2019 18:02:56 +0300 Subject: [PATCH] README-configure: recommend 'make -k check' instead of 'make check' * maint/install.texi: Replace 'make check' with 'make -k check'. * README-configure: Regenerate. --- README-configure | 2 +- maint/install.texi | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/README-configure b/README-configure index c39085af..de147679 100644 --- 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 0c4b4b57..7f023796 100644 --- 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 -- 2.40.0