chiark / gitweb /
we want to provide OPTFLAGS