Windows supports make reconfigure now

master
David Allsopp 2019-09-29 15:44:53 +01:00
parent 705739fa54
commit 4047336bfe
1 changed files with 0 additions and 2 deletions

View File

@ -330,11 +330,9 @@ endif
utils/config.ml: utils/config.mlp Makefile.config utils/Makefile
$(MAKE) -C utils config.ml
ifeq "$(UNIX_OR_WIN32)" "unix"
.PHONY: reconfigure
reconfigure:
./configure $(CONFIGURE_ARGS)
endif
utils/domainstate.ml: utils/domainstate.ml.c runtime/caml/domain_state.tbl
$(CPP) -I runtime/caml $< > $@