hack/verify-generated-deep-copies.sh
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