blob: 84d6dfb3a95d281d790bd51c7d81bce9249cc707 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
|
# Copyright (C) 2009-2012 Lorenzo Caminiti
# Distributed under the Boost Software License, Version 1.0
# (see accompanying file LICENSE_1_0.txt or a copy at
# http://www.boost.org/LICENSE_1_0.txt)
# Home at http://www.boost.org/libs/local_function
import sys
import time
import os
if len(sys.argv) < 2:
print "Usage: python " + sys.argv[0] + " COMMAND [COMMAND_OPTIONS]"
print "Measure run-time of executing the specified command."
exit(1)
cmd = ""
for arg in sys.argv[1:]: cmd += str(arg) + " "
start = time.time()
ret = os.system(cmd)
sec = time.time() - start
if (ret == 0): print "\n" + str(sec) + "s"
|
