1
Make can read a makefile from stdin, so you can give it a here document that is a makefile. Here, it includes your kernel makefile and adds a new wildcard target, %.var (which assumes you don't have any files or other targets that end in .var, of course). showvar() { make -f - ${1}.var <<'EOF' i...