#!/bin/bash

set -eu -o pipefail

top_dir="$(readlink -m "${BASH_SOURCE[0]}/../..")"
clean_dir="$top_dir.clean-check.clean"

if [ -n "${JENKINS_HOME:-}" ]; then
    clean_dir="/tmp/$(basename "$clean_dir")"
fi

rm -rf "$clean_dir"
cp -a "$top_dir" "$clean_dir"
