Fix segfault from readline()
; avoid unnecessary string copy
#1259
Job | Run time |
---|---|
3m 26s | |
7m 23s | |
4m 31s | |
3m 41s | |
4m 8s | |
4m 44s | |
5m 20s | |
4m 46s | |
5m 40s | |
4m 35s | |
5m 4s | |
4m 14s | |
4m 25s | |
5m 5s | |
1h 7m 2s |