The mysterious problem disappeared mysteriously after making a new git checkout and bootstrapping. Closing the bug.
Andreas
- bug#54929: ./pre-inst-env recompiling files Andreas Enge
- bug#54929: Acknowledgement (./pre-inst-env recompiling f... Andreas Enge
