chiark / gitweb /
build system: Do always regenerate version.o