From: Jim Meyering <jim@meyering.net>
Date: Fri, 22 Dec 1995 06:39:47 +0000 (+0000)
Subject: .
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=93c71ad7a02308d281dc308209bb1cf286001848;p=pspp

.
---

diff --git a/lib/Makefile.in b/lib/Makefile.in
index 1ef421e9fa..b417cb44d6 100644
--- a/lib/Makefile.in
+++ b/lib/Makefile.in
@@ -205,6 +205,7 @@ check:
 installcheck: 
 
 install: 
+	:
 
 uninstall: