diff options
| author | Joel Klinghed <the_jk@opera.com> | 2017-12-05 11:21:17 +0100 |
|---|---|---|
| committer | Joel Klinghed <the_jk@opera.com> | 2017-12-05 11:21:17 +0100 |
| commit | b29787d8eeef268c055f7352f0693c7b69351b84 (patch) | |
| tree | df78f66a211dcf77c460d92721464138dbeff30c /bin | |
| parent | 520577a4029ee95c56970300e5fd0b97d5862c1b (diff) | |
Do not fail because of missing files in source lists
Diffstat (limited to 'bin')
| -rw-r--r-- | bin/flycheck-android-java.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/flycheck-android-java.py b/bin/flycheck-android-java.py index c679f8b..ae52fe7 100644 --- a/bin/flycheck-android-java.py +++ b/bin/flycheck-android-java.py @@ -116,7 +116,7 @@ def file_in_list(needle, files): Otherwise return None.""" if os.path.exists(needle): for i in range(0, len(files) - 1): - if os.path.samefile(needle, files[i]): + if os.path.exists(files[i]) and os.path.samefile(needle, files[i]): return files[0:i] + files[i + 1:] return None |