Print out date and time the port is killed due to timeout.

1 files changed, 4 insertions, 1 deletions

diff --git a/Tools/portbuild/scripts/ptimeout b/Tools/portbuild/scripts/ptimeout
index 53e28b77c3ae..62cb404ad001 100755
--- a/Tools/portbuild/scripts/ptimeout
+++ b/Tools/portbuild/scripts/ptimeout
@@ -1,6 +1,9 @@
 #!/usr/bin/perl -w
 # ptimeout: executes command but kills it after a specified timeout
 # usage: ptimeout timeout command args ...
+
+require "ctime.pl";
+
 $timeout=$ARGV[0];
 splice(@ARGV, 0, 1);
 #print "timeout is ", $timeout, "\n";
@@ -26,7 +29,7 @@ if ($pid1 = fork) {
   else {
     # second child
     sleep $timeout;
-    print "ptimeout: killing @ARGV (pid $pid1) since timeout of $timeout expired\n";
+    print "ptimeout: killing @ARGV (pid $pid1) since timeout of $timeout expired at ", &ctime(time);
     kill 'TERM', $pid1;
     exit 1;
   }