33 lines
671 B
Bash
Executable File
33 lines
671 B
Bash
Executable File
#!/usr/bin/env bash
|
|
|
|
set -o errexit
|
|
set -o nounset
|
|
set -o pipefail
|
|
|
|
SCRIPT_ROOT=$(dirname "${BASH_SOURCE}")/..
|
|
DIFFROOT="${SCRIPT_ROOT}/pkg"
|
|
TMP_DIFFROOT="${SCRIPT_ROOT}/_tmp/pkg"
|
|
_tmp="${SCRIPT_ROOT}/_tmp"
|
|
|
|
cleanup() {
|
|
rm -rf "${_tmp}"
|
|
}
|
|
trap "cleanup" EXIT SIGINT
|
|
|
|
cleanup
|
|
|
|
mkdir -p "${TMP_DIFFROOT}"
|
|
cp -a "${DIFFROOT}"/* "${TMP_DIFFROOT}"
|
|
|
|
"${SCRIPT_ROOT}/hack/update-codegen.sh" "${TMP_DIFFROOT}"
|
|
echo "diffing ${DIFFROOT} against freshly generated codegen"
|
|
ret=0
|
|
diff -Naupr "${DIFFROOT}" "${TMP_DIFFROOT}" || ret=$?
|
|
if [[ $ret -eq 0 ]]
|
|
then
|
|
echo "${DIFFROOT} up to date."
|
|
else
|
|
echo "${DIFFROOT} is out of date. Please run 'make codegen'"
|
|
exit 1
|
|
fi
|