From 022d7193d15943bfb5364900681272b77f5fa2b6 Mon Sep 17 00:00:00 2001
From: Mariano Alvira <mar@devl.org>
Date: Fri, 17 Feb 2012 11:54:06 -0500
Subject: [PATCH] main makefile: also search TARGETDIRs when listing all
 available targets

---
 Makefile.include | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile.include b/Makefile.include
index 6a15b3de2..0c2988548 100644
--- a/Makefile.include
+++ b/Makefile.include
@@ -25,7 +25,7 @@ usage:
 	@echo "make MAKETARGETS... [TARGET=(TARGET)] [savetarget] [targets]"
 
 targets:
-	@ls -1 $(CONTIKI)/platform | grep -v CVS
+	@ls -1 $(CONTIKI)/platform $(TARGETDIRS) | grep -v CVS
 
 savetarget:
 	-@rm -f Makefile.target