* mps/Makefile.in (config.status): Use config.status --recheck

This commit is contained in:
Helmut Eller 2025-09-26 17:50:43 +02:00
parent 9ec2a19600
commit af04dc0777

View file

@ -67,6 +67,11 @@ Makefile: $(srcdir)/Makefile.in config.status
clean: @CLEAN_TARGET@
config.status: $(srcdir)/configure
if [ -x config.status ]; then \
./config.status --recheck; \
else \
$(srcdir)/configure; \
fi
$(srcdir)/configure: $(srcdir)/configure.ac
autoreconf -vif $(srcdir)