Bob Ellison e1688b08bb scripts: fix update_deps retry clone ...

There was a subtle bug in the original change; "git fetch"
would retry correctly, but "git clone" failed because the
destination directory was missing (after having been removed,
to ensure a clean clone operation).

The test case that was used (hundreds of times) happened to
provoke an error on the "git fetch" path; I was unaware that
the "git clone" failure path had never been exercised.

2020-07-15 18:29:58 -06:00

..

check_code_format.sh

scripts: exclude vulkan headers from clang-format

2018-04-06 10:45:21 -06:00

check_commit_message_format.sh

scripts: Add commit message format checker

2018-04-12 12:54:09 -06:00

common_codegen.py

Remove duplicate key / value in scripts/common_codegen.py

2020-07-07 15:32:40 -06:00

dispatch_table_helper_generator.py

build: Update known-good files for 1.2.145 header

2020-06-22 11:08:36 -06:00

generate_source.py

scripts: Remove bogus helper file generator opts

2019-07-19 10:36:03 -07:00

helper_file_generator.py

build: Update known-good files for 1.2.145 header

2020-06-22 11:08:36 -06:00

known_good.json

build: Update known-good files for 1.2.147 header

2020-07-14 14:29:06 -06:00

loader_extension_generator.py

loader: Add support for directfb surface extension

2020-07-07 10:33:54 -06:00

loader_genvk.py

build: Update known-good files for 1.2.145 header

2020-06-22 11:08:36 -06:00

update_deps.py

scripts: fix update_deps retry clone

2020-07-15 18:29:58 -06:00