Lines Matching refs:files
4 # Invoke a text editor on all console.log files for all runs with diagnostics,
5 # that is, on all such files having a console.log.diags counterpart.
30 files=
38 files="$files $i.diags $i"
42 files="$files $i.diags $i"
45 if test -n "$files"
47 $editor $files
59 files=
64 files="$files $i.diags $i"
67 if test -n "$files"
69 $editor $files