From a905b1af124f21342461de5b838822b2fcd275a0 Mon Sep 17 00:00:00 2001
From: Matt Birkholz <matt@birchwood-abbey.net>
Date: Fri, 22 Jun 2018 12:07:37 -0700
Subject: [PATCH] devops: Drop a timestamp when interrupted.

---
 src/devops/devops.scm | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/devops/devops.scm b/src/devops/devops.scm
index 97339893a..c19d097d7 100644
--- a/src/devops/devops.scm
+++ b/src/devops/devops.scm
@@ -765,6 +765,9 @@ Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301, USA.
 	(lambda ()
 	  (with-^G-interrupt-handler
 	   (named-lambda (job-^G-interrupt-handler)
+	     (fresh-line)
+	     (log "# "(emacs-friendly-timestamp)"\n# job aborted\n")
+	     (flush-output-port)
 	     (abort-job #f))
 	   (lambda ()
 	     (devops:make* target)
-- 
2.25.1