Re #6267 Move removal of *.hi and *.o to after their creation
#575
| Job | Run time |
|---|---|
| 3m 56s | |
| 3m 56s |
*.hi and *.o to after their creation
#575
| Job | Run time |
|---|---|
| 3m 56s | |
| 3m 56s |