blob: 0e95c1c5ddadb7cfd75ec75857fe66b9230435a3 (
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
26
|
#!/usr/bin/python
import getopt
import time
import string
import sys
import os
count = 10
opts, args = getopt.getopt(sys.argv[1:], "n:")
for opt in opts:
if opt[0] == "-n":
count = int(opt[1])
length = 0.0
i = 0
while i < count:
begin = time.time()
cmd = '"' + string.join(args, '" "') + '"';
os.system(cmd)
length += time.time() - begin
i += 1
print >> sys.stderr, length / count
|