Improve getopt() function stub
#7515
| Job | Run time |
|---|---|
| 3m 1s | |
| 1m 37s | |
| 1m 22s | |
| 1m 12s | |
| 1m 12s | |
| 1m 14s | |
| 1m 13s | |
| 10m 51s |
getopt() function stub
#7515
| Job | Run time |
|---|---|
| 3m 1s | |
| 1m 37s | |
| 1m 22s | |
| 1m 12s | |
| 1m 12s | |
| 1m 14s | |
| 1m 13s | |
| 10m 51s |