fd3cf82056
These errors were captured, but not printed. Fix the lint error that was not being displayed. Change-Id: I56da5c3a044b8a8e41695883ce780aca6245ad04 Reviewed-on: https://dawn-review.googlesource.com/c/tint/+/44780 Reviewed-by: Antonio Maiorano <amaiorano@google.com> Commit-Queue: Ben Clayton <bclayton@google.com> |
||
---|---|---|
.. | ||
check-spec-examples | ||
run-parallel | ||
trim-includes | ||
format | ||
known_tint_failures | ||
lint | ||
roll-all | ||
run_tests.py | ||
tint-generate-coverage |