Fix potential race condition in make install (#5883)
#414
| Job | Run time |
|---|---|
| 4m 14s | |
| 5m 48s | |
| 5m 32s | |
| 7m 51s | |
| 23m 5s | |
| 8m 6s | |
| 4m 40s | |
| 24m 8s | |
| 1h 23m 24s |
make install (#5883)
#414
| Job | Run time |
|---|---|
| 4m 14s | |
| 5m 48s | |
| 5m 32s | |
| 7m 51s | |
| 23m 5s | |
| 8m 6s | |
| 4m 40s | |
| 24m 8s | |
| 1h 23m 24s |