From: Jim Meyering <jim@meyering.net>
Date: Tue, 13 Jun 2000 09:19:08 +0000 (+0000)
Subject: .
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=a6d409a923cdd50091e94ef5029b0b9a0e8e1f34;p=pspp

.
---

diff --git a/lib/Makefile.in b/lib/Makefile.in
index afafa3e654..6faaedabb0 100644
--- a/lib/Makefile.in
+++ b/lib/Makefile.in
@@ -799,7 +799,7 @@ stat.c: xstat.in
 # On systems with glibc-2.1 or newer, the file is redundant, therefore we
 # avoid installing it.
 
-all-local: charset.alias ref-add.sed ref-del.sed
+all-local: charset.alias ref-add.sed ref-del.sed lstat.c stat.c
 install-exec-local: all-local
 	$(mkinstalldirs) $(DESTDIR)$(libdir)
 	if test -f $(charset_alias); then \