tree 1eb3a9b32fe00dc0152b0c763129cce08b775927
parent 16c3f033943206b4b90532a9656f64678e87a7ec
author Jussi Pakkanen <jpakkane@gmail.com> 1622643184 +0300
committer Jussi Pakkanen <jpakkane@gmail.com> 1622643184 +0300

Do not delete workdir in case scan-build fails.