c3994032 | #!/bin/bash |
614bf6cc | source "$(dirname "${BASH_SOURCE}")/lib/init.sh" |
c3994032 | |
d1534059 | echo "===== Verifying Generated Deep Copies =====" |
c3994032 | |
d1534059 | if ! output=`${OS_ROOT}/hack/update-generated-deep-copies.sh --verify-only 2>&1` |
43ad12ae | then |
d1534059 | echo "FAILURE: Verifying deep copies failed:" |
43ad12ae | echo "$output" exit 1 fi |
c3994032 | # ex: ts=2 sw=2 et filetype=sh |