diff options
Diffstat (limited to 'compile.sh')
| -rwxr-xr-x | compile.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compile.sh b/compile.sh index ece8bde8c5..b5a325e937 100755 --- a/compile.sh +++ b/compile.sh @@ -162,7 +162,7 @@ fi if [ $DO_SRCS_TEST ]; then new_step "Checking that //:srcs contains all the sources" log "Querying //:srcs" - ${BAZEL} query 'kind("source file", deps(//:srcs))' 2>/dev/null \ + ${BAZEL} query 'kind("source file", deps(//:srcs))' \ | grep -v '^@' \ | sed -e 's|^//||' | sed -e 's|^:||' | sed -e 's|:|/|' \ | sort -u >"${OUTPUT_DIR}/srcs-query" |