From: ceriel <none@none>
Date: Wed, 9 Oct 1991 19:12:52 +0000 (+0000)
Subject: Do not install lintlib by default: maybe lint is not installed yet
X-Git-Tag: release-5-5~751
X-Git-Url: https://git.ndcode.org/public/gitweb.cgi?a=commitdiff_plain;h=64eacb4c9f926ccbe0d61487fbf2bdd5bb9baaaa;p=ack.git

Do not install lintlib by default: maybe lint is not installed yet
---

diff --git a/util/ego/share/proto.make b/util/ego/share/proto.make
index e61f4c343..7070211f7 100644
--- a/util/ego/share/proto.make
+++ b/util/ego/share/proto.make
@@ -58,7 +58,7 @@ all:		classdefs.h pop_push.h $(OBS)
 		$(AR) r share.$(LIBSUF) $(OBS)
 		$(RANLIB) share.$(LIBSUF)
 
-install:	all lintlib
+install:	all
 		-mkdir $(TARGET_HOME)/lib.bin/ego
 		cp share.$(LIBSUF) $(TARGET_HOME)/lib.bin/ego/share.$(LIBSUF)
 		$(RANLIB) $(TARGET_HOME)/lib.bin/ego/share.$(LIBSUF)