| Index: tools/git/move_source_file.py
|
| diff --git a/tools/git/move_source_file.py b/tools/git/move_source_file.py
|
| index 2de0b5b1f51b5744c004ebfdf14ae6b69d97c55c..117b3ebb1980a7e1d37db0c216cda4266cd35984 100755
|
| --- a/tools/git/move_source_file.py
|
| +++ b/tools/git/move_source_file.py
|
| @@ -50,6 +50,10 @@ def MakeDestinationPath(from_path, to_path):
|
| raise Exception('Only intended to move individual source files '
|
| '(%s does not have a recognized extension).' %
|
| from_path)
|
| +
|
| + # Remove '.', '..', etc.
|
| + to_path = os.path.normpath(to_path)
|
| +
|
| if os.path.isdir(to_path):
|
| to_path = os.path.join(to_path, os.path.basename(from_path))
|
| else:
|
|
|