pep-material: Attic/marking2/mark@65ba96049f5e (annotated)

162 2ea5b3456ed7 marking 2 Christian Urban <urbanc@in.tum.de> parents: diff changeset	1	#!/bin/sh
2ea5b3456ed7 marking 2 Christian Urban <urbanc@in.tum.de> parents: diff changeset	2	###set -e
2ea5b3456ed7 marking 2 Christian Urban <urbanc@in.tum.de> parents: diff changeset	3
2ea5b3456ed7 marking 2 Christian Urban <urbanc@in.tum.de> parents: diff changeset	4	trap "exit" INT
2ea5b3456ed7 marking 2 Christian Urban <urbanc@in.tum.de> parents: diff changeset	5
2ea5b3456ed7 marking 2 Christian Urban <urbanc@in.tum.de> parents: diff changeset	6	./collatz_test.sh output1
2ea5b3456ed7 marking 2 Christian Urban <urbanc@in.tum.de> parents: diff changeset	7	./alcohol_test.sh output2
2ea5b3456ed7 marking 2 Christian Urban <urbanc@in.tum.de> parents: diff changeset	8	./drumb_test.sh output3
2ea5b3456ed7 marking 2 Christian Urban <urbanc@in.tum.de> parents: diff changeset	9

author	Christian Urban <christian.urban@kcl.ac.uk>
	Sat, 11 Mar 2023 23:24:15 +0000
changeset 466	65ba96049f5e
parent 331	3a9acfc6106b
permissions	-rwxr-xr-x