From: Simon Josefsson <simon@josefsson.org>
Date: Mon, 27 Apr 2009 13:25:50 +0000 (+0200)
Subject: top/maint.mk (sc_avoid_if_before_free): Except useless-if-before-free script.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;ds=sidebyside;h=2185cfa33fd2fded8ba50511240848c0ae0b17d9;p=pspp

top/maint.mk (sc_avoid_if_before_free): Except useless-if-before-free script.
---

diff --git a/ChangeLog b/ChangeLog
index 43dfc44248..3126a87d78 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2009-04-27  Simon Josefsson  <simon@josefsson.org>
+
+	* top/maint.mk (sc_avoid_if_before_free): Except
+	useless-if-before-free script.
+
 2009-04-27  Eric Blake  <ebb9@byu.net>
 
 	maintainer-makefile: depend on all required helper scripts
diff --git a/top/maint.mk b/top/maint.mk
index 229b0dc3a5..2873878772 100644
--- a/top/maint.mk
+++ b/top/maint.mk
@@ -113,7 +113,7 @@ endef
 sc_avoid_if_before_free:
 	@$(srcdir)/build-aux/useless-if-before-free			\
 		$(useless_free_options)					\
-	    $$($(VC_LIST_EXCEPT)) &&					\
+	    $$($(VC_LIST_EXCEPT) | grep -v useless-if-before-free) &&	\
 	  { echo '$(ME): found useless "if" before "free" above' 1>&2;	\
 	    exit 1; } || :