merge changes from diogenes-0.9.19 branch back into trunk

[diogenes.git] / testing / run

#!/bin/sh -e

./alltests | grep -v '() passed$'

echo