os: work towards being able to again use -autofree while recompilin…
#325
| Job | Run time |
|---|---|
| 2h 9m 53s | |
| 2h 40m 0s | |
| 3h 27m 47s | |
| 4m 31s | |
| 1h 4m 10s | |
| 1h 37m 15s | |
| 11h 3m 36s |
-autofree while recompilin…
#325
| Job | Run time |
|---|---|
| 2h 9m 53s | |
| 2h 40m 0s | |
| 3h 27m 47s | |
| 4m 31s | |
| 1h 4m 10s | |
| 1h 37m 15s | |
| 11h 3m 36s |