From 7e9dff9be6df70c05e832ddca0db352ab5cfe8a0 Mon Sep 17 00:00:00 2001
From: Bert Peters <bert@bertptrs.nl>
Date: Sat, 27 Jan 2018 22:25:25 +0100
Subject: [PATCH] Add a script to time all days.

---
 2017/time-all.sh | 29 +++++++++++++++++++++++++++++
 1 file changed, 29 insertions(+)
 create mode 100755 2017/time-all.sh

diff --git a/2017/time-all.sh b/2017/time-all.sh
new file mode 100755
index 0000000..b02673a
--- /dev/null
+++ b/2017/time-all.sh
@@ -0,0 +1,29 @@
+#!/bin/bash
+
+run () {
+	pushd "$1" &> /dev/null || exit 1
+
+	local epilogue=""
+	if [[ -f input.txt ]]; then
+		epilogue=" < input.txt"
+	fi
+
+	local prog="make"
+	if [[ ! -f Makefile ]]; then
+		prog=$(find . -type f -executable)
+		if [[ -z "$prog" ]] || [[ "$(wc -l <<< "$prog")" -gt 1 ]]; then
+			echo "No executable"
+			exit 1
+		fi
+	fi
+
+	local cmd="time $prog $epilogue"
+
+	eval "$cmd"
+
+	popd &> /dev/null || exit 1
+}
+
+for day in day-*; do
+	echo "$day" "$(run "$day" |& grep -i "real" | awk '{print $2}')"
+done