makefile: fix reconfigure for -MCR mode

This commit is contained in:
Matthew Flatt 2019-02-02 10:22:21 -07:00
parent 1affe4e7ad
commit 7ea98c671c

View File

@ -303,4 +303,4 @@ reconfigure:
$(MAKE) Makefile
Makefile: $(srcdir)/configure $(SRC_MAKEFILES)
$(srcdir)/configure $(CONFIGURE_ARGS_qq)
$(srcdir)/configure $(CONFIGURE_ARGS_qq) $(MORE_CONFIGURE_ARGS)