projects / platform / upstream / SPIRV-Tools.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: cb3c49e) | patch
Make directories more safely.
authorDavid Neto <dneto@google.com>
Mon, 18 Apr 2016 14:32:49 +0000 (10:32 -0400)
committerDavid Neto <dneto@google.com>
Mon, 18 Apr 2016 14:46:15 +0000 (10:46 -0400)
commit552d31996213a0060cfd45207eb2448cb301e4d2
tree00a60b9f1a7cdb25289a59177507797053343cd3tree | snapshot
parentcb3c49ef82b2878f15d55573c2620b71bcf87d0fcommit | diff
Make directories more safely.

Avoid a race on check-for-dir vs. make-dir
when running the inc-file generation script concurrently.
utils/generate_grammar_tables.py diff | blob | history
Domain: Graphics System / GL;