diff options
| -rw-r--r-- | coverage/control.py | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/coverage/control.py b/coverage/control.py index 48c0c1ca..6a03db76 100644 --- a/coverage/control.py +++ b/coverage/control.py @@ -453,10 +453,11 @@ class Coverage(object): dunder_file = frame.f_globals.get('__file__') if dunder_file: filename = self._source_for_file(dunder_file) - if os.path.basename(original_filename) != os.path.basename(filename): - # Files shouldn't be renamed when moved. This happens when - # exec'ing code, not sure why yet. - self._warn("File was renamed?: %r became %r" % (original_filename, filename)) + if original_filename and not original_filename.startswith('<'): + if os.path.basename(original_filename) != os.path.basename(filename): + # Files shouldn't be renamed when moved. This happens when + # exec'ing code, not sure why yet. + self._warn("File was renamed?: %r became %r" % (original_filename, filename)) if not filename: # Empty string is pretty useless. |