50cad5d5deb2d56aeada35deb349aa4ca0da9d45
[tests.git] / system / runtest
1 #!/bin/bash
2 mkdir logs
3 logfile=logs/runtest-$(date +%H-%M).log
4 exec TestMain.py "$@" | tee logfile