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