diff checker.pri @ 55:81ce3ba92b16

Try to forward stderr from the checker to the log callback
author Chris Cannam
date Wed, 16 Jan 2019 14:25:28 +0000
parents bb3d59462052
children 5c60e26e16ca
line wrap: on
line diff