diff options
| -rw-r--r-- | Makefile.rules | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Makefile.rules b/Makefile.rules index 68d870b7a9..a6cb6bb30e 100644 --- a/Makefile.rules +++ b/Makefile.rules @@ -89,6 +89,7 @@ endif $(CONFIG_STATUS): $(CONFIGURE) @$(ECHO) Reconfiguring with $< $(VERB) $(CONFIG_STATUS) --recheck $(CONFIGUREFLAGS) + $(VERB) $(CONFIG_STATUS) #------------------------------------------------------------------------ # Make sure the configuration makefile is up to date |