It now says if it succeeded as well as failed

examples/compile-platforms/Makefile

@@ -11,7 +11,7 @@ native: native.platform netsim.platform minimal-net.platform
 	@mkdir -p $*
 	@cp *.c $*
 	@cp Makefile.platform $*/Makefile
-	@(echo; echo ------------------- $* -------------------; \
+	@((echo; echo ------------------- $* -------------------; \
            cd $* ; ($(MAKE) TARGET=$* >& /dev/null) ; \
-                  $(MAKE) TARGET=$*) >& $*.output || \
+                   $(MAKE) TARGET=$*) >& $*.output && echo "$* succeeded") || \
            (echo; echo "$* failed"; exit 1)