check both with and without cpus, even in case of failures

mic-configure

@@ -144,8 +144,9 @@ distclean: clean
 
 check:
 	\$(MAKE) -C build_host check
-	\$(MAKE) -C build_mic check
-	STARPU_NCPUS=0 \$(MAKE) -C build_mic check
+	\$(MAKE) -C build_mic check ; \
+	RET=$$? ; \
+	STARPU_NCPUS=0 \$(MAKE) -C build_mic check && [ $$RET == 0 ]
 
 showcheck:
 	\$(MAKE) -C build_host showcheck