Index: src/Tests/Makefile
===================================================================
--- src/Tests/Makefile	(revision 2871210d7be1910f7296a17164d525f66ef82648)
+++ src/Tests/Makefile	(revision a73d57a0f560d4d17a58b395e9f01b5bdef94eed)
@@ -8,5 +8,5 @@
 OUTPUTS = ${addprefix ${OUTPUTDIR}/,${EXAMPLES:.c=.txt}}
 
-.SILENT :
+#.SILENT :
 
 all :
@@ -19,5 +19,5 @@
 
 ${OUTPUTDIR}/%.txt : %.c ${CFA} Makefile
-	-${CFA} -n ${CFAOPT} < $< > $@ 2>&1
+	-${CFA} -n ${CFAOPT} $< > $@ 2>&1
 
 ${OUTPUTDIR}/report : ${OUTPUTS} ${EXPECTDIR}