+ @if test $(FPTOOLS_TOP)/configure -nt $(FPTOOLS_TOP)/mk/config.mk; then \
+ echo "configure changed, reconfiguring with same settings..."; \
+ ( cd $(FPTOOLS_TOP) && ./config.status --recheck ); \
+ fi
+ @echo "Running $(FPTOOLS_TOP)/config.status to update configuration info...";