diff options
Diffstat (limited to 'validation')
| -rwxr-xr-x | validation/test-suite | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/validation/test-suite b/validation/test-suite index 8692bfe9..b6ec5655 100755 --- a/validation/test-suite +++ b/validation/test-suite @@ -2,6 +2,8 @@ #set -x +cd $(dirname "$0") + default_path=".." default_cmd="sparse \$file" tests_list=`find . -name '*.c' | sed -e 's#^\./\(.*\)#\1#' | sort` |