tests/benchmark/ptime

   1 #!/usr/bin/env python
   2
   3 import sys
   4 import time
   5 import os
   6
   7 def main():
   8         args = sys.argv[1:]
   9         if len(args) < 1:
  10                 print("usage: %s COMMAND" % sys.argv[0])
  11                 sys.exit(1)
  12
  13         cmd = ' '.join(args)
  14
  15         t1 = time.time()
  16         os.system(cmd)
  17         t2 = time.time()
  18
  19         print(t2-t1)
  20
  21 if __name__ == "__main__":
  22         main()