diff options
author | Lucio Andrés Illanes Albornoz <lucio@lucioillanes.de> | 2020-02-26 21:54:12 +0000 |
---|---|---|
committer | Lucio Andrés Illanes Albornoz <lucio@lucioillanes.de> | 2020-02-26 21:54:12 +0000 |
commit | c6d6e08feab839a9dc5792071fb803494cc51a69 (patch) | |
tree | 1513c817e4446ac3cf512d6c1f287a10fc1daf2e /subr/ex_rtl_state.subr | |
parent | 4a5da5254e1207686f492e7ce8759c80466185f3 (diff) | |
download | midipix_build-c6d6e08feab839a9dc5792071fb803494cc51a69.tar.bz2 midipix_build-c6d6e08feab839a9dc5792071fb803494cc51a69.tar.xz |
General cleanup, pt. II.
Diffstat (limited to 'subr/ex_rtl_state.subr')
-rw-r--r-- | subr/ex_rtl_state.subr | 40 |
1 files changed, 0 insertions, 40 deletions
diff --git a/subr/ex_rtl_state.subr b/subr/ex_rtl_state.subr deleted file mode 100644 index 406da477..00000000 --- a/subr/ex_rtl_state.subr +++ /dev/null @@ -1,40 +0,0 @@ -# -# set +o errexit -o noglob is assumed. -# - -ex_rtl_state_clear() { - local _workdir="${1}" _pkg_name="${2}" _pkg_fname=""; - for _pkg_fname in $(find "${_workdir}" \ - -maxdepth 1 -mindepth 1 -name .${_pkg_name}.\* -type f); do - ex_rtl_fileop rm "${_pkg_fname}"; - done; -}; - -ex_rtl_state_set() { - local _workdir="${1}" _pkg_fname="${2}" _done_fname_pfx=""; - _done_fname_pfx="${_workdir}/.${_pkg_fname}"; - shift 2; while [ ${#} -ge 1 ]; do - if [ -z "${1}" ]; then - shift; continue; - elif [ "${1#-}" != "${1}" ]; then - ex_rtl_fileop rm "${_done_fname_pfx}.${1#-}"; - else - ex_rtl_fileop touch "${_done_fname_pfx}.${1}"; - fi; - shift; done; -}; - -ex_rtl_state_test() { - local _workdir="${1}" _pkg_name="${2}" _build_step="${3}" \ - _restart_at="${4}" _done_fname=""; - _done_fname="${_workdir}/.${_pkg_name}.${_build_step}"; - if [ -z "${_restart_at}" ]; then - ex_rtl_fileop test "${_done_fname}"; - elif [ "${_restart_at}" = "ALL" ]; then - return 1; - else - ! ex_rtl_lmatch "${_restart_at}" "${_build_step}" ","; - fi; -}; - -# vim:filetype=sh |