Line 0
Link Here
|
|
|
1 |
--- tools/wafadmin/Node.py.orig 2010-10-25 05:45:39.000000000 +0800 |
2 |
+++ tools/wafadmin/Node.py 2010-10-27 18:30:12.000000000 +0800 |
3 |
@@ -349,6 +349,12 @@ |
4 |
if self == from_node: return '.' |
5 |
if from_node.parent == self: return '..' |
6 |
|
7 |
+ from_node_path = from_node.abspath() |
8 |
+ from_node_realpath = os.path.realpath(from_node_path) |
9 |
+ if from_node_path != from_node_realpath: |
10 |
+ from_node = self.__class__.bld.root.find_dir(from_node_realpath) |
11 |
+ return self.relpath_gen(from_node) |
12 |
+ |
13 |
# up_path is '../../../' and down_path is 'dir/subdir/subdir/file' |
14 |
ancestor = self.find_ancestor(from_node) |
15 |
lst = [] |