diff options
author | Thomas Weißschuh <thomas@t-8ch.de> | 2023-03-06 17:57:51 +0000 |
---|---|---|
committer | Dudemanguy <random342@airmail.cc> | 2023-03-24 02:18:39 +0000 |
commit | d6f70ef96b8a6beeec025beeb775257728c60751 (patch) | |
tree | 60a86c4f436f878dfbba3910382005523b38a026 | |
parent | 892ca9f5d9ca520cc1413bdbfd28eb0e0eee1f1f (diff) | |
download | mpv-d6f70ef96b8a6beeec025beeb775257728c60751.tar.bz2 mpv-d6f70ef96b8a6beeec025beeb775257728c60751.tar.xz |
TOOLS/docutils-wrapper: gracefully remove non-existing files
-rwxr-xr-x | TOOLS/docutils-wrapper.py | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/TOOLS/docutils-wrapper.py b/TOOLS/docutils-wrapper.py index 9d6304fc45..ff2757a1d8 100755 --- a/TOOLS/docutils-wrapper.py +++ b/TOOLS/docutils-wrapper.py @@ -39,6 +39,12 @@ def convert_depfile(output, depfile): f.write(os.path.abspath(dep)) f.write(' \\\n') +def remove(path): + try: + os.remove(path) + except FileNotFoundError: + pass + argv = sys.argv[1:] depfile = None @@ -52,5 +58,5 @@ try: subprocess.run(argv) convert_depfile(output, depfile) except: - os.remove(output) - os.remove(depfile) + remove(output) + remove(depfile) |