| 12345678910111213141516171819202122232425 |
- # 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"
|
