github.com/cilium/cilium@v1.16.2/Documentation/check-flaggen.sh (about)

     1  #!/usr/bin/env bash
     2  
     3  set -o errexit
     4  set -o nounset
     5  set -o pipefail
     6  
     7  script_dir="$(cd "$(dirname "${BASH_SOURCE[0]}")" && pwd)"
     8  config_dir="${script_dir}/configuration"
     9  
    10  if ! git diff --quiet -- "${config_dir}" ; then
    11      git --no-pager diff "${config_dir}"
    12      echo "HINT: to fix this, run 'make -C Documentation api-flaggen'"
    13      exit 1
    14  fi
    15