diff options
| -rw-r--r-- | Makefile.rules | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/Makefile.rules b/Makefile.rules index ec61d13bd9..2a49a4623e 100644 --- a/Makefile.rules +++ b/Makefile.rules @@ -88,8 +88,9 @@ $(BUILT_SOURCES) : $(ObjMakefiles) .PRECIOUS: $(ConfigStatusScript) $(ConfigStatusScript): $(ConfigureScript) $(Echo) Reconfiguring with $< - $(Verb) $(ConfigStatusScript) --recheck $(ConfigureScriptFLAGS) - $(Verb) $(ConfigStatusScript) + $(Verb) cd $(BUILD_OBJ_ROOT) && \ + $(ConfigStatusScript) --recheck $(ConfigureScriptFLAGS) && \ + $(ConfigStatusScript) #------------------------------------------------------------------------ # Make sure the configuration makefile is up to date |