diff --git a/src/tests/run_all b/src/tests/run_all index 270065c00..4328848c1 100755 --- a/src/tests/run_all +++ b/src/tests/run_all @@ -1,4 +1,4 @@ -#! /bin/sh +#! /bin/bash date > all.log