-
Kai Germaschewski authored
A couple of targets were still in the main part of the Makefile, even though they did not need .config to exist for execution. Move them into the noconfig section of the Makefile, allowing them to be executed before make *config.
4ee66bc0