| #!/bin/bash | |
| # Asserts that a genquery output file is empty (no results). | |
| # Used by iree_assert_no_dependency to verify that a forbidden transitive | |
| # dependency is not present. | |
| if [ -s "$1" ]; then | |
| echo "ERROR: Forbidden dependency detected:" | |
| cat "$1" | |
| exit 1 | |
| fi |