From: Paul Eggert <eggert@cs.ucla.edu>
Date: Mon, 13 Sep 2004 11:07:48 +0000 (+0000)
Subject: Comment out argp-pvh.c.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=c6260e6d3635f826e613760ad95861e258024079;p=pspp

Comment out argp-pvh.c.
---

diff --git a/config/srclist.txt b/config/srclist.txt
index 2c4dcb9a45..2b7e952e65 100644
--- a/config/srclist.txt
+++ b/config/srclist.txt
@@ -1,4 +1,4 @@
-# $Id: srclist.txt,v 1.41 2004-08-12 08:09:17 eggert Exp $
+# $Id: srclist.txt,v 1.42 2004-09-13 11:07:48 eggert Exp $
 # Files for which we are not the source.  See ./srclistvars.sh for the
 # variable definitions.
 
@@ -86,7 +86,7 @@ $LIBCSRC/argp/argp-namefrob.h		lib gpl
 # Currently not quite the same.
 #$LIBCSRC/argp/argp-parse.c		lib gpl
 $LIBCSRC/argp/argp-pv.c			lib gpl
-$LIBCSRC/argp/argp-pvh.c		lib gpl
+#$LIBCSRC/argp/argp-pvh.c		lib gpl
 $LIBCSRC/argp/argp-xinl.c		lib gpl
 $LIBCSRC/argp/argp.h			lib gpl
 #$LIBCSRC/posix/getopt.c		lib gpl