Treat grep returning non-zero code in case of no passing line
Treat grep returning non-zero code in case of no passing line


Former-commit-id: ad07038560e7ae636c4aa857f810c99f52e5c420
karel-brinda/prophyle,karel-brinda/prophyle,karel-brinda/prophyle,karel-brinda/prophyle