From: Jim Meyering <meyering@redhat.com>
Date: Fri, 24 Apr 2009 18:27:52 +0000 (+0200)
Subject: maint.mk: remove obsolete rule
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=b3b22c81a6470f9055b0c81e0c2db3362d8fecd0;p=pspp

maint.mk: remove obsolete rule

* top/maint.mk (rel-check): Remove rule.
(WGET, WGETFLAGS): Remove now-unused variables.
---

diff --git a/ChangeLog b/ChangeLog
index 0481cbc923..1dc100927f 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,9 @@
+2009-04-24  Jim Meyering  <meyering@redhat.com>
+
+	maint.mk: remove obsolete rule
+	* top/maint.mk (rel-check): Remove rule.
+	(WGET, WGETFLAGS): Remove now-unused variables.
+
 2009-04-24  Simon Josefsson  <simon@josefsson.org>
 
 	* top/maint.mk (makefile-check): Renamed to sc_makefile_check for
diff --git a/top/maint.mk b/top/maint.mk
index 1c6e87b0a1..4e4c0504a4 100644
--- a/top/maint.mk
+++ b/top/maint.mk
@@ -762,18 +762,6 @@ my-distcheck: $(DIST_ARCHIVES) $(local-check)
 	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)