Fix the platform string for GNU/Hurd #4249
| Job | Run time |
|---|---|
| 32m 5s | |
| 34m 31s | |
| 48m 57s | |
| 55m 38s | |
| 41m 28s | |
| 57m 39s | |
| 40m 37s | |
| 46m 4s | |
| 1h 16m 9s | |
| 1h 22m 34s | |
| 1h 33m 57s | |
| 1h 21m 33s | |
| 1h 35m 31s | |
| 1h 50m 3s | |
| 1h 41m 47s | |
| 1h 43m 35s | |
| 24m 10s | |
| 1h 11m 15s | |
| 1h 28m 22s | |
| 56m 58s | |
| 22m 17s | |
| 24m 25s | |
| 15m 11s | |
| 30m 26s | |
| 25m 40s | |
| 23m 49s | |
| 22m 35s | |
| 20m 34s | |
| 21m 14s | |
| 2s | |
| 0s | |
| 1d 1h 49m 6s |