diff options
Diffstat (limited to 'validation/test-suite')
| -rwxr-xr-x | validation/test-suite | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/validation/test-suite b/validation/test-suite index 04607a3e..e1ab1e65 100755 --- a/validation/test-suite +++ b/validation/test-suite @@ -566,7 +566,7 @@ while [ "$#" -gt "0" ]; do exit 1 ;; - *.c) + *.c|*.cdoc) tests_list="$tests_list $1" ;; *) |