chiark / gitweb /
Set autoflush on stdout, to get better ordering of debugging etc. output when stdout...