This removes ModifiesGen from the extracted output of ulib, and also pushes it to the EXTRA set of files in ulib. So it is checked by CI, but not needed to bootstrap.
For my machine, this reduces bootstrapping time from 137s to 98s, since this file is very late in the dependency tree and quite slow. CI time should decrease somewhat too.
This removes ModifiesGen from the extracted output of ulib, and also pushes it to the
EXTRAset of files in ulib. So it is checked by CI, but not needed to bootstrap.For my machine, this reduces bootstrapping time from 137s to 98s, since this file is very late in the dependency tree and quite slow. CI time should decrease somewhat too.