diff options
| -rw-r--r-- | tools/root.make | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/tools/root.make b/tools/root.make index b9742448e6..7de1cafc31 100644 --- a/tools/root.make +++ b/tools/root.make | |||
| @@ -314,4 +314,7 @@ $(BUILDDIR)/%.o: $(ROOTDIR)/%.S | |||
| 314 | $(call PRINTS,CC $(subst $(ROOTDIR)/,,$<))$(CC) $(CFLAGS) -c $< -o $@ | 314 | $(call PRINTS,CC $(subst $(ROOTDIR)/,,$<))$(CC) $(CFLAGS) -c $< -o $@ |
| 315 | 315 | ||
| 316 | Makefile: $(TOOLSDIR)/configure | 316 | Makefile: $(TOOLSDIR)/configure |
| 317 | $(SILENT)echo "*** tools/configure is newer than Makefile. You should run 'make reconf'." | ||
| 318 | |||
| 319 | reconf: | ||
| 317 | $(SILENT)$(TOOLSDIR)/configure $(CONFIGURE_OPTIONS) | 320 | $(SILENT)$(TOOLSDIR)/configure $(CONFIGURE_OPTIONS) |