-
Andreas Marek authored
If one species a kernel with the "--with-kernel-name" option, this means that only this (real/complex) is configured and installed. All other available real/complex kernels are not considered. Thus the help messages (see ./configure --help) is changed such that the option is called "--with-only-kernel-name"
863326e6