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

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

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