summaryrefslogtreecommitdiffhomepage
path: root/subr/ex_rtl_state.subr
diff options
context:
space:
mode:
authorLucio Andrés Illanes Albornoz <lucio@lucioillanes.de>2019-01-19 17:41:24 +0000
committerLucio Andrés Illanes Albornoz <lucio@lucioillanes.de>2019-01-19 17:41:24 +0000
commitda03644a9f0c6daa76f20797910693731e9ad230 (patch)
tree75c4618c9fbb2cd39e8d2d6ec6283e29090157ae /subr/ex_rtl_state.subr
parent04b44cb22dd9c7e5b3fa3d94e8beb82466bc9d89 (diff)
downloadmidipix_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.subr8
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}";