1 files changed, 18 insertions, 0 deletions
diff --git a/scripts/gen-report b/scripts/gen-report
new file mode 100755
index 0000000..38e4a47
--- /dev/null
+++ b/scripts/gen-report
@@ -0,0 +1,18 @@
+#!/bin/sh
+
+BUILD=build
+
+while getopts "d:" opt; do
+	case "$opt" in
+		d) BUILD="$OPTARG";;
+		*) echo "unregonised option -$OPTARG" >&2; exit 1;;
+	esac
+done
+
+shift $((OPTIND - 1))
+
+for p in "$@"; do
+	mkdir -p "reports/${p}"
+	timeout --foreground 30s valgrind -q --error-exitcode=1 \
+		"./${BUILD}/${p}" > "reports/${p}/log"
+done