From: Jim Meyering <jim@meyering.net>
Date: Mon, 11 Oct 1999 12:39:09 +0000 (+0000)
Subject: *** empty log message ***
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=f4a47b0133444f6287403a087b6f5033426e3ac3;p=pspp

*** empty log message ***
---

diff --git a/lib/.cppi-disable b/lib/.cppi-disable
index cebe998b73..b85b108e7e 100644
--- a/lib/.cppi-disable
+++ b/lib/.cppi-disable
@@ -2,6 +2,7 @@ error.h
 fnmatch.h
 getopt.h
 getopt.c
+getopt1.c
 md5.h
 obstack.h
 regex.h