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