From 85808cde47393f832d89005bcae6629f4a63c118 Mon Sep 17 00:00:00 2001 From: Jan Lindemann Date: Wed, 29 Oct 2014 17:59:27 +0000 Subject: [PATCH] build.py: Add printing of date and time at the end of build.py Signed-off-by: Jan Lindemann --- scripts/build.py | 3 +++ 1 file changed, 3 insertions(+) diff --git a/scripts/build.py b/scripts/build.py index f52e8213..11b8b5d9 100644 --- a/scripts/build.py +++ b/scripts/build.py @@ -12,6 +12,7 @@ from sets import Set import pwd import argparse import time +import datetime all_deps = Set() dep_tree = {} @@ -112,3 +113,5 @@ order = [m for m in order if m not in exclude] print "order is: " + ' '.join(order) build(order, target) +print datetime.datetime.now().strftime("%Y-%m-%d %H:%M:%S") +