Get rid of all mention of `mk/config.h`
The RTS configure script is now solely responsible for managing its headers; the top level configure script does not help.
parent
11421a3d
No related branches found
No related tags found
Pipeline #84896 failed
Stage: not-interruptible
Stage: tool-lint
Stage: quick-build
Stage: full-build
Stage: packaging
Stage: testing
Stage: deploy
Please register or sign in to comment