Appended is a script we use to generate kernel tags. We
like it better than /sys/kern/Makefile because our version
only tags the "make depend" sources.
Fix: #! /bin/sh
Misfiled PR. Note: I did manual reformatting of this PR, so
I hope I got it right :-).
committed, thanks! Hey, and it only took 2 years! :-}