diff options
Diffstat (limited to 'configure')
| -rwxr-xr-x | configure | 9 |
1 files changed, 6 insertions, 3 deletions
@@ -168,9 +168,12 @@ fi if [ $in_tree_libweb -ne 0 ] then cat <<"EOF" >> $F +LIBWEB_MK = libweb/Makefile +$(LIBWEB_MK): + cd libweb && ./configure --prefix=$(PREFIX) LIBWEB = libweb/libweb.a $(PROJECT): $(LIBWEB) -$(LIBWEB): FORCE +$(LIBWEB): $(LIBWEB_MK) FORCE +cd libweb && $(MAKE) CC=$(CC) EOF fi @@ -210,7 +213,7 @@ fi if [ $in_tree_libweb -ne 0 ] then cat <<"EOF" >> $F - +cd libweb && $(MAKE) clean + +test -f $(LIBWEB_MK) && cd libweb && $(MAKE) clean || : EOF fi @@ -232,7 +235,7 @@ EOF if [ $in_tree_libweb -ne 0 ] then cat <<"EOF" >> $F - +cd libweb && $(MAKE) distclean + +test -f $(LIBWEB_MK) && cd libweb && $(MAKE) distclean || : EOF fi |
