chiark / gitweb /
bootchart: stricter checks of cli input