Makefile.in
changeset 1623 09375aed0208
parent 1622 5bbfc3e20e10
child 1634 14f302c5b32c
     1.1 --- a/Makefile.in	Thu Apr 13 13:23:56 2006 +0000
     1.2 +++ b/Makefile.in	Thu Apr 13 13:25:21 2006 +0000
     1.3 @@ -51,6 +51,7 @@
     1.4  $(srcdir)/configure: $(srcdir)/configure.in
     1.5  	@echo "Warning, configure.in is out of date"
     1.6  	#(cd $(srcdir) && sh autogen.sh && sh configure)
     1.7 +	@sleep 3
     1.8  
     1.9  Makefile: $(srcdir)/Makefile.in
    1.10  	$(SHELL) config.status $@