From: Matt Birkholz <matt@birchwood-abbey.net>
Date: Fri, 22 Jun 2018 19:07:37 +0000 (-0700)
Subject: devops: Drop a timestamp when interrupted.
X-Git-Tag: mit-scheme-pucked-9.2.15~6
X-Git-Url: https://birchwood-abbey.net/git?a=commitdiff_plain;h=a905b1af124f21342461de5b838822b2fcd275a0;p=mit-scheme.git

devops: Drop a timestamp when interrupted.
---

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)