Document --print-paths-and-exit
#1190
| Job | Run time |
|---|---|
| 6s | |
| 1m 53s | |
| 45s | |
| 1s | |
| 1s | |
| 2m 46s |
--print-paths-and-exit
#1190
| Job | Run time |
|---|---|
| 6s | |
| 1m 53s | |
| 45s | |
| 1s | |
| 1s | |
| 2m 46s |