From: Paul Eggert <eggert@cs.ucla.edu>
Date: Mon, 4 Oct 2004 04:37:22 +0000 (+0000)
Subject: Add getopt_.h, getopt_int.h.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=dae1457672e2638b0ed8a2f5c4634a30fa86553d;p=pspp

Add getopt_.h, getopt_int.h.
---

diff --git a/lib/.cppi-disable b/lib/.cppi-disable
index afd50d090c..f8fcb65c64 100644
--- a/lib/.cppi-disable
+++ b/lib/.cppi-disable
@@ -9,6 +9,8 @@ getndelim2.h
 getopt.c
 getopt.h
 getopt1.c
+getopt_.h
+getopt_int.h
 getpagesize.h
 gettext.h
 localcharset.h