diff options
| author | John Kessenich <johnkslang@users.noreply.github.com> | 2019-10-03 11:32:37 -0600 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-10-03 11:32:37 -0600 |
| commit | b252a50953ac4375cb1864e94f4b0234db9d215d (patch) | |
| tree | ee123af0441c6e6d8594e6e69f3261691fd0c53f /tools | |
| parent | 842ec90674627ed2ffef609e3cd79d1562eded01 (diff) | |
| parent | 3f9bad6fc4f6a534eb233352317aa5d9acc9d6e2 (diff) | |
| download | SPIRV-Headers-b252a50953ac4375cb1864e94f4b0234db9d215d.tar.gz SPIRV-Headers-b252a50953ac4375cb1864e94f4b0234db9d215d.tar.bz2 SPIRV-Headers-b252a50953ac4375cb1864e94f4b0234db9d215d.zip | |
Merge pull request #131 from lukaszgotszaldintel/new_branch
add cmake option SPIRV_HEADERS_SKIP_INSTALL
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions