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 e61f4c3..7070211 100644 (file)
--- 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)