diff options
| author | ras0219 <533828+ras0219@users.noreply.github.com> | 2020-07-13 12:14:51 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-07-13 12:14:51 -0700 |
| commit | bc07f4b0523b035dcc4fc37eea0d6f5adeb8d30b (patch) | |
| tree | 1898436300a7bff83d535b401f5229e60f11087c /scripts/file_script.py | |
| parent | 713950c89b02394967902c2d9ed901ccf41a3466 (diff) | |
| download | vcpkg-bc07f4b0523b035dcc4fc37eea0d6f5adeb8d30b.tar.gz vcpkg-bc07f4b0523b035dcc4fc37eea0d6f5adeb8d30b.zip | |
[vcpkg-ci] Always publish file lists (#12384)
Co-authored-by: Robert Schumacher <roschuma@microsoft.com>
Diffstat (limited to 'scripts/file_script.py')
| -rw-r--r-- | scripts/file_script.py | 13 |
1 files changed, 8 insertions, 5 deletions
diff --git a/scripts/file_script.py b/scripts/file_script.py index 1170c643f..de57f2720 100644 --- a/scripts/file_script.py +++ b/scripts/file_script.py @@ -28,11 +28,14 @@ def main(path): except FileExistsError:
print("Path already exists, continuing...")
- headers = open("scripts/list_files/VCPKGHeadersDatabase.txt", mode='w')
- output = open("scripts/list_files/VCPKGDatabase.txt", mode='w')
- gen_all_file_strings(path, getFiles(path), headers, output)
- headers.close()
- output.close()
+ try:
+ headers = open("scripts/list_files/VCPKGHeadersDatabase.txt", mode='w')
+ output = open("scripts/list_files/VCPKGDatabase.txt", mode='w')
+ gen_all_file_strings(path, getFiles(path), headers, output)
+ headers.close()
+ output.close()
+ except e:
+ print("Failed to generate file lists")
if __name__ == "__main__":
main(sys.argv[1])
|