Lines Matching refs:files
97 files=$*98 if test -z "$files"; then99 usage_error "no files given"138 files = '''$files'''141 for file in files.split():163 files = '''$files'''165 for file in files.split():182 # python<3.5 does not have split files for -O and -OO186 files = '''$files'''188 for file in files.split():