From 64eacb4c9f926ccbe0d61487fbf2bdd5bb9baaaa Mon Sep 17 00:00:00 2001
From: ceriel <none@none>
Date: Wed, 9 Oct 1991 19:12:52 +0000
Subject: [PATCH] Do not install lintlib by default: maybe lint is not
 installed yet

---
 util/ego/share/proto.make | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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)