RE: make install does nothing

2003-10-08 Thread Joost Kraaijeveld
> Do you have a directory or a file called "install" or > "INSTALL"? If so, > make thinks that that's the target you need to make, and reports it as > up-to-date. You can do one of two things: change the > Makefile to add a > ".PHONY: install" (a good thing to do in any case), or add > "check_c

Re: make install does nothing

2003-10-08 Thread Igor Pechtchanski
On Wed, 8 Oct 2003, Joost Kraaijeveld wrote: > I have this makefile with the following target (the maMakefile is from > MICO 2.3.10): > > ... > install: > for i in $(INSTALLDIRS); do $(MAKE) -C $$i install || exit 1; > done > if test -f doc/doc.ps; then \ > $(IDIRCM

make install does nothing

2003-10-08 Thread Joost Kraaijeveld
I have this makefile with the following target (the maMakefile is from MICO 2.3.10): ... install: for i in $(INSTALLDIRS); do $(MAKE) -C $$i install || exit 1; done if test -f doc/doc.ps; then \ $(IDIRCMD) $(SHARED_INSTDIR)/doc/mico; \ $(IMANCMD) doc