diff --git a/Makefile.in b/Makefile.in index aa7ded0aae9..291f399e0db 100644 --- a/Makefile.in +++ b/Makefile.in @@ -69,7 +69,7 @@ config.status: $(topsrcdir)/configure backend.RecursiveMakeBackend: @echo "Build configuration changed. Regenerating backend." - ./config.status + $(PYTHON) config.status Makefile: backend.RecursiveMakeBackend @$(TOUCH) $@