diff options
author | Jason Ekstrand <[email protected]> | 2017-08-16 16:38:56 -0700 |
---|---|---|
committer | Jason Ekstrand <[email protected]> | 2017-12-04 09:21:09 -0800 |
commit | 591a07632c913cadb1802196c0a50480b354d73c (patch) | |
tree | 9b93f4ca85268bd826b826c5bc0aac61388e0050 /src/util/xmlpool/Makefile.am | |
parent | 16dfdeefc8469c9bb8770bab763fd943b62f875d (diff) |
spirv: Do something useful with OpSource
We may as well log the source language and file name.
Reviewed-by: Tapani Pälli <[email protected]>
Reviewed-by: Ian Romanick <[email protected]>
Diffstat (limited to 'src/util/xmlpool/Makefile.am')
0 files changed, 0 insertions, 0 deletions