tree 5f0a2990dd2a1c409e487af956c1ceaf2960a6f1
parent e6fd2cd5abd6fd2a3f977a4d7af16645900511d6
author Wenzel Jakob <wenzel.jakob@epfl.ch> 1493412194 +0200
committer Wenzel Jakob <wenzel.jakob@epfl.ch> 1493476528 +0200

pytest target: add USE_TERMINAL flag

The added flag enables non-buffered console output when using Ninja