server: check SHELL if (and only if) neither --sh nor --csh is specified #1106
Job | Run time |
---|---|
2m 6s | |
1m 11s | |
3m 37s | |
1m 2s | |
1m 50s | |
7m 46s | |
1m 3s | |
39s | |
7m 39s | |
2m 29s | |
1m 13s | |
30m 35s |
Job | Run time |
---|---|
2m 6s | |
1m 11s | |
3m 37s | |
1m 2s | |
1m 50s | |
7m 46s | |
1m 3s | |
39s | |
7m 39s | |
2m 29s | |
1m 13s | |
30m 35s |