devops: Drop a timestamp when interrupted.

diff --git a/src/devops/devops.scm b/src/devops/devops.scm
index 97339893a75fbb46fe1aa03884ce5ce9d732c5f3..c19d097d7bf1748931cf356f1e89fe6214239f1c 100644 (file)
--- 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)