diff -r a359976a6f3e -r 975d34506e88 testing3/testing3-bak/mark
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/testing3/testing3-bak/mark	Fri Dec 14 14:41:54 2018 +0000
@@ -0,0 +1,8 @@
+#!/bin/bash
+###set -e
+
+trap "exit" INT
+
+./knight1_test.sh output1
+./knight3_test.sh output3
+