| Index: tools/list_files.py
|
| diff --git a/tools/list_files.py b/tools/list_files.py
|
| index f5dad8656d33bd2a949fe05dd0db28852bb04d71..ad277e853f0a03c851b03b4f0ac9f37ca592c4f0 100755
|
| --- a/tools/list_files.py
|
| +++ b/tools/list_files.py
|
| @@ -17,13 +17,11 @@ import sys
|
| def main(argv):
|
| pattern = re.compile(argv[1])
|
| for directory in argv[2:]:
|
| - if not os.path.isabs(directory):
|
| - directory = os.path.realpath(directory)
|
| for root, directories, files in os.walk(directory):
|
| if '.git' in directories:
|
| directories.remove('.git')
|
| for filename in files:
|
| - fullname = os.path.join(directory, root, filename)
|
| + fullname = os.path.relpath(os.path.join(root, filename))
|
| fullname = fullname.replace(os.sep, '/')
|
| if re.search(pattern, fullname):
|
| print fullname
|
|
|