All pastes #608764 Raw Edit

Diff

public text v1 · immutable
·published 2007-07-08 14:11 UTC
rendered paste body
Index: wafadmin/Node.py===================================================================--- wafadmin/Node.py	(revision 1446)+++ wafadmin/Node.py	(working copy)@@ -28,7 +28,6 @@ 	def __init__(self, name, parent): 		self.m_name = name 		self.m_parent = parent-		self.m_cached_path = ""  		self.__hash_value=None #value should chache the hash value @@ -411,15 +410,7 @@  	def equals(self, node): 		"is one node equal to another one"-		p1 = self-		p2 = node-		while p1 and p2:-			if p1.m_name != p2.m_name:-				return 0-			p1=p1.m_parent-			p2=p2.m_parent-		if p1 or p2: return 0-		return 1+                return (self.abspath(None) == node.abspath(None))  	def variant(self, env): 		"variant, or output directory for this node, a source has for variant 0"