From 19a017cf03d5aaa6021c08a1ede0809ef2d2da39 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ren=C3=A9=20Kijewski?= <rene.kijewski@fu-berlin.de>
Date: Wed, 3 Dec 2014 11:33:27 +0100
Subject: [PATCH] make: `term` depends on `flash`

If you provide both `flash` and `term` as Make goals, then `term` needs
to wait for flash.
---
 Makefile.include | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile.include b/Makefile.include
index b7c1b9bb0b..3f83381172 100644
--- a/Makefile.include
+++ b/Makefile.include
@@ -175,7 +175,7 @@ distclean:
 flash: all
 	$(FLASHER) $(FFLAGS)
 
-term:
+term: $(filter flash, $(MAKECMDGOALS))
 	$(TERMPROG) $(TERMFLAGS)
 
 doc:
-- 
GitLab