bash/dash

[Arne Goedeke]

My gentoo /bin/sh (which is bash) unlike dash generates a broken
whitespace.h file from the current bin/getwhitespace.sh . I dont know
which of the two is wrong here, but should we simply use numeric values
instead of character escapes?

arne