chiark / gitweb /
"make STRIPCMD=" will disable the stripping of binaries