commit a4327ee1d8aa2b13051e95b2787680207b563cac
parent f3b6f7e7ad879702f61fd7d892e27ef7c4c082a8
Author: Roberto E. Vargas Caballero <k0ga@shike2.com>
Date: Thu, 9 Mar 2017 08:22:42 +0100
[tests] Remove chk file at the end of test/chktest.sh
Diffstat:
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/tests/error/chktest.sh b/tests/error/chktest.sh
@@ -3,7 +3,7 @@
err=/tmp/$$.err
chk=/tmp/$$.chk
-trap "tabs -8;rm -f a.out *.o $err" 0 1 2 3 15
+trap "tabs -8;rm -f a.out *.o $chk $err" 0 1 2 3 15
tabs 40
ulimit -c 0
rm -f test.log