diff options
author | Lucio Andrés Illanes Albornoz <lucio@lucioillanes.de> | 2019-01-19 17:41:24 +0000 |
---|---|---|
committer | Lucio Andrés Illanes Albornoz <lucio@lucioillanes.de> | 2019-01-19 17:41:24 +0000 |
commit | da03644a9f0c6daa76f20797910693731e9ad230 (patch) | |
tree | 75c4618c9fbb2cd39e8d2d6ec6283e29090157ae /subr/ex_rtl_state.subr | |
parent | 04b44cb22dd9c7e5b3fa3d94e8beb82466bc9d89 (diff) | |
download | midipix_build-da03644a9f0c6daa76f20797910693731e9ad230.tar.bz2 midipix_build-da03644a9f0c6daa76f20797910693731e9ad230.tar.xz |
build.sh, etc/build.usage, subr/ex_pkg_dispatch.subr: adds -r LAST.
subr/ex_rtl_state.subr: adds ex_rtl_state_clear().
vars/midipix.vars: adds ${DEFAULT_BUILD_LAST_FAILED_PKG_FNAME}.
Diffstat (limited to 'subr/ex_rtl_state.subr')
-rw-r--r-- | subr/ex_rtl_state.subr | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/subr/ex_rtl_state.subr b/subr/ex_rtl_state.subr index fe52b29a..70e72a06 100644 --- a/subr/ex_rtl_state.subr +++ b/subr/ex_rtl_state.subr @@ -2,6 +2,14 @@ # set -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}"; |