diff --git a/test/regression.py b/test/regression.py index e5d3b80..c7f85e8 100755 --- a/test/regression.py +++ b/test/regression.py @@ -287,6 +287,7 @@ def compile_and_report(src_dir, use_asan): def compile_remotely_and_report(host): print_err("Compiling on {0}...".format(host)) + start = time.time() c = run("ssh worker@{0} 'cd tint2 && git pull && mkdir -p build && rm -rf build && mkdir -p build && cd build && cmake .. && make && ./tint2 --version'".format(host), True) out, _ = c.communicate() duration = time.time() - start