chiark / gitweb /
cleanup: specify never-interactive option for flex scanner