chiark / gitweb /
autogen.sh: makedev() misteriously breaks with -O0 here, use -O1 for now