Index: src/Tests/Makefile
===================================================================
--- src/Tests/Makefile	(revision 7bcf74e253a6d4f6973b37412379348b25c0171e)
+++ src/Tests/Makefile	(revision 1b5c81eda8ac4fbd0dbf2cdca2786bc4e7f9cd93)
@@ -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}
