diff options
Diffstat (limited to 'tests/run.sh')
-rwxr-xr-x | tests/run.sh | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/tests/run.sh b/tests/run.sh index aad3acb0d..d72fdfcc1 100755 --- a/tests/run.sh +++ b/tests/run.sh @@ -160,6 +160,11 @@ echo " For development purpose only. " echo " Don't execute on production system! " echo +# TODO: add more information about system +printf "%13s: %-30s " "kernel" "$(uname -r)" +echo +echo + if [ $paraller_jobs -gt 1 ]; then echo " Executing the tests in parallel ($paraller_jobs jobs) " echo |