chiark / gitweb /
build+drozer: error message instead of crash when repo-folder missing