drochner d408ddc6c7 Make the combination "profiled kernel" and "${KERN_AS} == "library"" ...

work too. (mcount.po was forgotten)

1998-07-19 18:35:16 +00:00

..

libkern

…

libsa

…

libz

…