From 189c47297c8b2748169ddc43641adbbd6d0c65c5 Mon Sep 17 00:00:00 2001 From: Joe Marshall Date: Sat, 19 May 2012 10:25:56 -0700 Subject: [PATCH] Wrap show-time around compilations. Add newline after disk-save. --- src/etc/compile.sh | 26 ++++++++++++++++++++------ 1 file changed, 20 insertions(+), 6 deletions(-) diff --git a/src/etc/compile.sh b/src/etc/compile.sh index 2056b609b..17791001b 100755 --- a/src/etc/compile.sh +++ b/src/etc/compile.sh @@ -29,14 +29,19 @@ set -e run_cmd "${@}" <