| #!/bin/bashset -eu -o pipefailtop_dir="$(readlink -m "${BASH_SOURCE[0]}/../..")"clean_dir="$top_dir.clean-check.clean"if [ -n "${JENKINS_HOME:-}" ]; then    clean_dir="/tmp/$(basename "$clean_dir")"firm -rf "$clean_dir"cp -a "$top_dir" "$clean_dir"
 |