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: |