From: Jim Meyering <jim@meyering.net>
Date: Thu, 2 May 1996 02:37:09 +0000 (+0000)
Subject: .
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=3c6a75bf53c2b588cf25226430aa8c1078c9655e;p=pspp

.
---

diff --git a/lib/Makefile.in b/lib/Makefile.in
index bdac345725..5769aac129 100644
--- a/lib/Makefile.in
+++ b/lib/Makefile.in
@@ -42,8 +42,8 @@ noinst_LIBRARIES = fu
 
 EXTRA_DIST = alloca.c euidaccess.c fnmatch.c fsusage.c ftruncate.c \
 getdate.y getopt.c getopt1.c memcmp.c memcpy.c memset.c \
-mkdir.c mktime.c mountlist.c \
-posixtm.y rename.c rmdir.c stpcpy.c strdup.c strstr.c strtol.c strtoul.c
+mkdir.c mktime.c mountlist.c posixtm.y rename.c rmdir.c \
+stpcpy.c strcasecmp.c strdup.c strstr.c strtol.c strtoul.c
 
 INCLUDES = -I.. -I$(srcdir)