avoid rebuilding boot files via pb after make re.boot
#171
| Job | Run time |
|---|---|
| 28m 35s | |
| 17m 17s | |
| 21m 18s | |
| 11m 35s | |
| 14m 22s | |
| 9m 11s | |
| 11m 55s | |
| 8m 29s | |
| 11m 8s | |
| 14m 18s | |
| 12m 33s | |
| 15m 8s | |
| 13m 36s | |
| 3h 9m 25s |
make re.boot
#171
| Job | Run time |
|---|---|
| 28m 35s | |
| 17m 17s | |
| 21m 18s | |
| 11m 35s | |
| 14m 22s | |
| 9m 11s | |
| 11m 55s | |
| 8m 29s | |
| 11m 8s | |
| 14m 18s | |
| 12m 33s | |
| 15m 8s | |
| 13m 36s | |
| 3h 9m 25s |