Do not install lintlib by default: maybe lint is not installed yet
This commit is contained in:
parent
18897487a9
commit
64eacb4c9f
|
@ -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)
|
||||
|
|
Loading…
Reference in a new issue