release: don't run "make distcheck" automatically
authorStefano Lattarini <stefano.lattarini@gmail.com>
Sat, 10 Dec 2011 17:26:52 +0000 (18:26 +0100)
committerStefano Lattarini <stefano.lattarini@gmail.com>
Sat, 10 Dec 2011 19:11:09 +0000 (20:11 +0100)
* Makefile.am (git-dist): The developers should test extensively
before finally creating the release tarball; so don't run "make
distcheck" on their behalf here; instead ...
* HACKING (Release procedure): ... state here that "make check"
and "make distcheck" should be run before calling "make git-dist".

ChangeLog
HACKING
Makefile.am
Makefile.in

index 618ab02..826a4f7 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,12 @@
+2011-12-10  Stefano Lattarini  <stefano.lattarini@gmail.com>
+
+       release: don't run "make distcheck" automatically
+       * Makefile.am (git-dist): The developers should test extensively
+       before finally creating the release tarball; so don't run "make
+       distcheck" on their behalf here; instead ...
+       * HACKING (Release procedure): ... state here that "make check"
+       and "make distcheck" should be run before calling "make git-dist".
+
 2011-12-09  Jim Meyering  <meyering@redhat.com>
            Stefano Lattarini  <stefano.lattarini@gmail.com>
 
diff --git a/HACKING b/HACKING
index b6f214f..755bffd 100644 (file)
--- a/HACKING
+++ b/HACKING
 
 * Update ChangeLog.
 
-* Run ./bootstrap, ./configure, make.
+* Run "./bootstrap && ./configure && make && make check && make distcheck".
 
 * Run `make release-stats' if release statistics in doc/automake.texi
   have not been updated yet.
index 51eeb23..d0dc846 100644 (file)
@@ -568,8 +568,10 @@ git-dist: maintainer-check
          echo "NEWS not updated; not releasing" 1>&2; \
          exit 1;                               \
        fi
-## Build the distribution
-       $(MAKE) $(AM_MAKEFLAGS) distcheck
+## Build the distribution.  We expect the developer to have already run
+## "make check" and "make distcheck" on his own (as required in the
+## HACKING file, section "Release procedure").
+       $(MAKE) $(AM_MAKEFLAGS) dist
 ## Finally, if anything was successful, commit the last changes and tag
 ## the release in the repository.  We don't use RCS keywords so it's OK
 ## to distribute the files before they were committed.
index e475693..3045353 100644 (file)
@@ -1256,7 +1256,7 @@ git-dist: maintainer-check
          echo "NEWS not updated; not releasing" 1>&2; \
          exit 1;                               \
        fi
-       $(MAKE) $(AM_MAKEFLAGS) distcheck
+       $(MAKE) $(AM_MAKEFLAGS) dist
        cd $(srcdir) && git commit -a -s && \
           git tag -s "v$(VERSION)" -m "Release $(VERSION)"