tree 0264e8fdb55cb0d2165a424d387eb769e4595f40
parent 0c7371efa8d70a533e5f7c306a7260003d7e3a0e
author Chirayu Desai <cdesai@cyanogenmod.org> 1367298191 +0530
committer Gerrit Code Review <gerrit@cyanogenmod.org> 1367815037 -0700

repo bash completion: _find_repo: improve check

Checking if main.py exists is better than checking if it
is a file, since it might be a symlink.

Change-Id: I1a9e617470a05c2161479cd3f0a10712a2b9d2c2