tools/userland-mangler
changeset 452 ef9282f63da3
parent 448 e07a264a6e3d
child 464 08f94c414553
--- a/tools/userland-mangler	Wed Aug 03 01:08:07 2011 -0700
+++ b/tools/userland-mangler	Wed Aug 03 13:45:11 2011 -0700
@@ -234,7 +234,7 @@
 		for directory in search_paths:
 			if directory != destination:
 				src = os.path.join(directory, path)
-				if os.path.exists(src):
+				if os.path.isfile(src):
 					mangle_path(manifest, action, src, dest)
 					break