Revision 9887848e690d2cc564d5f02d2acdab222cfdce53 authored by André Martins on 01 September 2022, 15:08:45 UTC, committed by André Martins on 01 September 2022, 16:55:01 UTC
Signed-off-by: André Martins <andre@cilium.io>
1 parent d7264ff
check-cmdref.sh
#!/usr/bin/env bash
set -o errexit
set -o nounset
set -o pipefail
script_dir="$(cd "$(dirname "${BASH_SOURCE[0]}")" && pwd)"
cmdref_dir="${script_dir}/cmdref"
if ! git diff --quiet -- "${cmdref_dir}" ; then
git --no-pager diff "${cmdref_dir}"
echo "HINT: to fix this, run 'make -C Documentation update-cmdref'"
exit 1
fi
Computing file changes ...
