Improve getopt() function stub
#5835
| Job | Run time |
|---|---|
| 1m 48s | |
| 1m 36s | |
| 1m 19s | |
| 1m 6s | |
| 1m 6s | |
| 1m 7s | |
| 1m 12s | |
| 9m 14s |
getopt() function stub
#5835
| Job | Run time |
|---|---|
| 1m 48s | |
| 1m 36s | |
| 1m 19s | |
| 1m 6s | |
| 1m 6s | |
| 1m 7s | |
| 1m 12s | |
| 9m 14s |