From: Karl Berry <karl@freefriends.org>
Date: Wed, 23 Jun 2004 17:20:59 +0000 (+0000)
Subject: (LIBTOOL) [karl]: add.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=1b9a0050a88594b010b46e942ac44dd9faf3e630;p=pspp

(LIBTOOL) [karl]: add.
---

diff --git a/config/srclistvars.sh b/config/srclistvars.sh
index d65743df53..3a0d0c6631 100644
--- a/config/srclistvars.sh
+++ b/config/srclistvars.sh
@@ -1,4 +1,4 @@
-# $Id: srclistvars.sh,v 1.16 2004-06-22 18:28:25 eggert Exp $
+# $Id: srclistvars.sh,v 1.17 2004-06-23 17:20:59 karl Exp $
 # Variables for srclist-update and srclist.txt.
 # Will change for each user.
 
@@ -27,6 +27,7 @@ karl)
   : ${GNUORG=$HOME/gnu/gnuorg}
   : ${GNUWWWLICENSES=$HOME/gnu/www/www/licenses}
   : ${LIBCSRC=$HOME/gnu/src/libc}
+  : ${LIBTOOL=$HOME/gnu/src/libtool}
   : ${TEXINFOSRC=/u/texinfo/src}
   : ${TEXMFROOT=/usr/local/texmf/texmf}
   ;;