diff options
Diffstat (limited to 'functions')
| -rwxr-xr-x | functions/stagefile.sh | 27 |
1 files changed, 23 insertions, 4 deletions
diff --git a/functions/stagefile.sh b/functions/stagefile.sh index 3c3468851..3108a7058 100755 --- a/functions/stagefile.sh +++ b/functions/stagefile.sh @@ -27,10 +27,8 @@ Check_stagefile () NAME="$(basename ${FILE})" # Checking stage file - if [ -f "${FILE}" ] - then - if [ "${_FORCE}" != "true" ] - then + if [ -f "${FILE}" ]; then + if [ "${_FORCE}" != "true" ]; then # Skip execution Echo_warning "Skipping %s, already done" "${NAME}" exit 0 @@ -42,6 +40,27 @@ Check_stagefile () fi } +# Used by chroot preperation scripts in removal mode +Ensure_stagefile_exists () +{ + local FILE + local NAME + FILE=".build/${1:-$(Stagefile_name)}" + NAME="$(basename ${FILE})" + + # Checking stage file + if [ ! -f "${FILE}" ]; then + if [ "${_FORCE}" != "true" ]; then + # Skip execution + Echo_warning "Skipping removal of %s, it is not applied" "${NAME}" + exit 0 + else + # Force execution + Echo_message "Forcing %s" "${NAME}" + fi + fi +} + Create_stagefile () { local FILE |