From: Karl Berry <karl@freefriends.org>
Date: Thu, 12 Aug 2010 17:51:54 +0000 (-0700)
Subject: missed commit
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=580effc9a799bd5c5b0d0ffb1830dffb76842c7e;p=pspp

missed commit
---

diff --git a/config/srclist.txt b/config/srclist.txt
index 9da4342666..39ea0f5cdc 100644
--- a/config/srclist.txt
+++ b/config/srclist.txt
@@ -4,6 +4,7 @@
 $GNUCONFIG/config.guess		build-aux
 $GNUCONFIG/config.sub		build-aux
 #
+$AUTOMAKE/lib/ar-lib		build-aux
 $AUTOMAKE/lib/compile		build-aux
 $AUTOMAKE/lib/depcomp		build-aux
 $AUTOMAKE/lib/elisp-comp	build-aux