Use arg_match0()
instead of arg_match()
(#1087)
#535
Job | Run time |
---|---|
6m 20s | |
6m 24s | |
6m 55s | |
2m 44s | |
3m 44s | |
3m 53s | |
2m 35s | |
3m 24s | |
3m 11s | |
39m 10s |
arg_match0()
instead of arg_match()
(#1087)
#535
Job | Run time |
---|---|
6m 20s | |
6m 24s | |
6m 55s | |
2m 44s | |
3m 44s | |
3m 53s | |
2m 35s | |
3m 24s | |
3m 11s | |
39m 10s |