]> Savannah Git Hosting - gnulib.git/commitdiff
README-release: also run any check-very-expensive tests
authorJim Meyering <meyering@fb.com>
Tue, 19 Jun 2018 22:47:53 +0000 (15:47 -0700)
committerJim Meyering <meyering@fb.com>
Tue, 19 Jun 2018 22:47:53 +0000 (15:47 -0700)
* top/README-release: Adjust instructions so they run the
check-very-expensive tests when there is such a target.

ChangeLog
top/README-release

index beaaf26a58d8fdc89d01d94396519c292351f830..ac3fcab6a90fe177cccdd552a194a1e06aa320ca 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -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.
index a173203a1ff79a4fc2ea10d9f023dfd64c0e6b88..536eef3a9fa13e5570c93f6c59b5ad54d08f2329 100644 (file)
@@ -27,9 +27,10 @@ Here are most of the steps we (maintainers) follow when making a release.
 
     ./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