changeset 39696:506954e693c7

README-release: also run any check-very-expensive tests * top/README-release: Adjust instructions so they run the check-very-expensive tests when there is such a target.
author Jim Meyering <meyering@fb.com>
date Tue, 19 Jun 2018 15:47:53 -0700
parents 373d49b55239
children f36b4b374e7c
files ChangeLog top/README-release
diffstat 2 files changed, 9 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- a/ChangeLog	Tue Jun 19 08:58:15 2018 -0700
+++ b/ChangeLog	Tue Jun 19 15:47:53 2018 -0700
@@ -1,3 +1,9 @@
+2018-06-19  Jim Meyering  <meyering@fb.com>
+
+	README-release: also run any check-very-expensive tests
+	* top/README-release: Adjust instructions so they run the
+	check-very-expensive tests when there is such a target.
+
 2018-06-18  Bruno Haible  <bruno@clisp.org>
 
 	pthread_rwlock_rdlock: Add comments regarding glibc behaviour.
--- a/top/README-release	Tue Jun 19 08:58:15 2018 -0700
+++ b/top/README-release	Tue Jun 19 15:47:53 2018 -0700
@@ -27,9 +27,10 @@
 
     ./bootstrap && ./configure
 
-* Pre-release testing: ensure that the following command succeeds:
+* Pre-release testing: ensure that the following commands succeed:
 
-    make check syntax-check distcheck
+    c=check ve=check-very-expensive; git grep -q "^$ve:\$" && c=$ve
+    make $c syntax-check distcheck
 
 * To (i) set the date, version number, and release TYPE on line 3 of
   NEWS, (ii) commit that, and (iii) tag the release, run