diff -r e0420c7b8a19 -r 1b04ea68dca6 testing3-bak/mark --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/testing3-bak/mark Fri Nov 16 02:06:03 2018 +0000 @@ -0,0 +1,8 @@ +#!/bin/sh +###set -e + +trap "exit" INT + +./knight1_test.sh output1 +./knight3_test.sh output3 +