From: John Darrington <john@darrington.wattle.id.au>
Date: Sat, 19 Mar 2016 18:41:35 +0000 (+0100)
Subject: Fix error in dist-hook-git.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=d4988f76544bdb8c94d6e73756b4317d09c1dc07;p=pspp

Fix error in dist-hook-git.

The previous commit introduced a new "meta" file.  But it provoked our test for
missing distribution files.  This change fixes that.
---

diff --git a/Makefile.am b/Makefile.am
index 1b861fb2a5..725ee50624 100644
--- a/Makefile.am
+++ b/Makefile.am
@@ -117,7 +117,7 @@ ALL_LOCAL += dist-hook-git
 dist-hook-git: distfiles
 	@if test -e $(srcdir)/.git && (git --version) >/dev/null 2>&1; then \
 	  (cd $(srcdir) && git ls-files)				    \
-	    | grep -vE '\.gitignore|README.Git|Smake'			    \
+	    | grep -vE '\.gitignore|README.Git|Smake|Bug-administration'    \
 	    | LC_ALL=C sort -u > gitfiles;				    \
 	  LC_ALL=C comm -1 -3 distfiles gitfiles > missing-distfiles;	    \
 	  if test -s missing-distfiles; then				    \