commit ac2bbe2c9e6a192cb7009a85f3801fc8c8e772aa
Author: Roberto E. Vargas Caballero <[email protected]>
AuthorDate: Thu Jan 7 16:54:43 2016 +0100
Commit: Roberto E. Vargas Caballero <[email protected]>
CommitDate: Fri Jan 8 10:49:29 2016 +0100
Add name of the test in test.log
This information was lost in some previous commit
diff --git a/cc1/tests/chktest.sh b/cc1/tests/chktest.sh
index 71222c8..5f98e6d 100755
--- a/cc1/tests/chktest.sh
+++ b/cc1/tests/chktest.sh
@@ -15,6 +15,7 @@ do
copyon==1 {print > "'$chk'"}' $i
../cc1 -I. -w $i > $out 2>&1
+ echo $i >> test.log
if diff -c $chk $out >> test.log
then
echo [OK]
