diff options
| -rw-r--r-- | Makefile.in | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/Makefile.in b/Makefile.in index ef56bee86cf4..85767014924a 100644 --- a/Makefile.in +++ b/Makefile.in @@ -45,7 +45,9 @@ $(BUILDDIR)/config_host.mk : $(wildcard \ $(BUILDDIR)/autogen.input \ $(BUILDDIR)/autogen.lastrun \ $(BUILDDIR)/autogen.sh \ - ) + ) \ + $(shell source $(SRCDIR)/bin/get_config_variables JAVA_HOME && \ + if test -n "$${JAVA_HOME}" -a ! -d "$${JAVA_HOME}"; then echo force-restart; fi) sh -c $(SRCDIR)/autogen.sh else # MAKE_RESTARTS |