# HG changeset patch # User Jim Meyering # Date 1240597672 -7200 # Node ID 131895586bdb43a0fa8efe89fa0f0f6e56302a70 # Parent 4eb7918a17d0e323866059d1f2901a8221761456 maint.mk: remove obsolete rule * top/maint.mk (rel-check): Remove rule. (WGET, WGETFLAGS): Remove now-unused variables. diff --git a/ChangeLog b/ChangeLog --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,9 @@ +2009-04-24 Jim Meyering + + maint.mk: remove obsolete rule + * top/maint.mk (rel-check): Remove rule. + (WGET, WGETFLAGS): Remove now-unused variables. + 2009-04-24 Simon Josefsson * top/maint.mk (makefile-check): Renamed to sc_makefile_check for diff --git a/top/maint.mk b/top/maint.mk --- a/top/maint.mk +++ b/top/maint.mk @@ -762,18 +762,6 @@ echo "$(distdir).tar.gz is ready for distribution"; \ echo "========================" -WGET = wget -WGETFLAGS = -C off - -rel-check: - tarz=/tmp/rel-check-tarz-$$$$; \ - md5_tmp=/tmp/rel-check-md5-$$$$; \ - set -e; \ - trap 'status=$$?; rm -f $$tarz $$md5_tmp; exit $$status' 0 1 2 3 15; \ - $(WGET) $(WGETFLAGS) -q --output-document=$$tarz $(url); \ - echo "$(md5) -" > $$md5_tmp; \ - md5sum -c $$md5_tmp < $$tarz - rel-files = $(DIST_ARCHIVES) gnulib-version = $$(cd $(gnulib_dir) && git describe)