chiark / gitweb /
build-sys: fix 'make fedora'