mirror of
https://github.com/optim-enterprises-bv/nDPId.git
synced 2025-10-29 09:22:23 +00:00
* redirect `run_tests.sh` stderr to filename which prepends config name Signed-off-by: Toni Uhlig <matzeton@googlemail.com>
* redirect `run_tests.sh` stderr to filename which prepends config name Signed-off-by: Toni Uhlig <matzeton@googlemail.com>