mirror of
https://github.com/kovidgoyal/kitty
synced 2026-07-22 00:08:04 +02:00
Merge branch 'with_suppress' of https://github.com/Luflosi/kitty
This commit is contained in:
4
setup.py
4
setup.py
@@ -336,11 +336,9 @@ def newer(dest, *sources):
|
|||||||
except EnvironmentError:
|
except EnvironmentError:
|
||||||
return True
|
return True
|
||||||
for s in sources:
|
for s in sources:
|
||||||
try:
|
with suppress(FileNotFoundError):
|
||||||
if os.path.getmtime(s) >= dtime:
|
if os.path.getmtime(s) >= dtime:
|
||||||
return True
|
return True
|
||||||
except FileNotFoundError:
|
|
||||||
pass
|
|
||||||
return False
|
return False
|
||||||
|
|
||||||
|
|
||||||
|
|||||||
Reference in New Issue
Block a user