diff options
author | Ned Batchelder <nedbat@gmail.com> | 2015-08-01 12:53:22 -0400 |
---|---|---|
committer | Ned Batchelder <nedbat@gmail.com> | 2015-08-01 12:53:22 -0400 |
commit | 3e6e85a71c1ad66cd8ed658a61bedbff38f47dd1 (patch) | |
tree | f20b99c588069103d2b5fec373b960de05b4c0d6 /coverage/execfile.py | |
parent | db337283466520c76334c382d0492a1e8f92aa2d (diff) | |
parent | b3310c1889fc5f53275f6e9b2baa2a8b5d1a1d91 (diff) | |
download | python-coveragepy-git-3e6e85a71c1ad66cd8ed658a61bedbff38f47dd1.tar.gz |
Merged in traff/coverage.py (pull request #50)
Look for __main__ module if coverage is being run for directory #252
Diffstat (limited to 'coverage/execfile.py')
-rw-r--r-- | coverage/execfile.py | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/coverage/execfile.py b/coverage/execfile.py index 121f3731..d1158b51 100644 --- a/coverage/execfile.py +++ b/coverage/execfile.py @@ -141,6 +141,16 @@ def run_python_file(filename, args, package=None, modulename=None): old_argv = sys.argv sys.argv = args + if os.path.isdir(filename): + # in directory we should look for __main__ module + for ext in [".py", ".pyc", ".pyo"]: + try_filename = os.path.join(filename, "__main__" + ext) + if os.path.exists(try_filename): + filename = try_filename + break + else: + raise NoSource("Can't find '__main__' module in '%s'" % filename) + try: # Make a code object somehow. if filename.endswith((".pyc", ".pyo")): |