Handle the rewrite of "-" to "/dev/stdin" in main to leave the filenames unchanged (fixes #46) #128
Job | Run time |
---|---|
15s | |
13s | |
2m 8s | |
19s | |
12s | |
3m 56s | |
13s | |
33s | |
52s | |
37s | |
42s | |
46s | |
7m 53s | |
1m 16s | |
19m 55s |
Job | Run time |
---|---|
15s | |
13s | |
2m 8s | |
19s | |
12s | |
3m 56s | |
13s | |
33s | |
52s | |
37s | |
42s | |
46s | |
7m 53s | |
1m 16s | |
19m 55s |