1 files changed, 4 insertions, 0 deletions
diff --git a/make.sh b/make.sh
index c18af74..a587b68 100755
--- a/make.sh
+++ b/make.sh
@@ -140,8 +140,12 @@ N=1
 for stage in $stages
 do
 	printf "[%d/%d] %s\n" "$N" "$C" "$stage"
+	s="$(date +'%s.%3N')"
 	if "$stage"
 	then
+		e="$(date +'%s.%3N')"
+		$AWK 'BEGIN { printf "      %.3fs" ORS, ENVIRON["e"] - ENVIRON["s"] }'
+
 		: $((N = N + 1))
 	else
 		exit $?