Makefile: tools depend on .config

Otherwise, the first "make" builds tools before spitting the error about an unconfigured system. I prefer to have the error alone. Signed-off-by: Alessandro Rubini <rubini@gnudd.com>

Makefile: tools depend on .config
Otherwise, the first "make" builds tools before spitting the error about an unconfigured system. I prefer to have the error alone. Signed-off-by: Alessandro Rubini <rubini@gnudd.com>
87ed5e5b · Alessandro Rubini · bcdbd2ab · 87ed5e5b
Commit 87ed5e5b authored Jan 12, 2016 by Alessandro Rubini
Hide whitespace changes
Inline Side-by-side

Showing with 1 addition and 1 deletion

Makefile Makefile +1 -1

No files found.
--- a/Makefile
+++ b/Makefile
@@ -168,7 +168,7 @@ clean:
 %.o:		%.c
 	${CC} $(CFLAGS) $(PTPD_CFLAGS) $(INCLUDE_DIR) $(LIB_DIR) -c $*.c -o $@

-tools:
+tools: .config
 	$(MAKE) -C tools

 # if needed, check out the submodules (first time only), so users