diff options
Diffstat (limited to 'subr/build_init.subr')
-rw-r--r-- | subr/build_init.subr | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/subr/build_init.subr b/subr/build_init.subr index 7d52d9b5..075affb3 100644 --- a/subr/build_init.subr +++ b/subr/build_init.subr @@ -10,7 +10,9 @@ buildp_init_args() { _status="Git repository has not changed since last build and --as-needed was specified."; fi; if [ -n "${ARG_RESTART}" ]; then - if [ "${ARG_RESTART#\*\*}" != "${ARG_RESTART}" ]; then + if [ "${ARG_RESTART#\*\*\*}" != "${ARG_RESTART}" ]; then + ARG_RESTART="${ARG_RESTART#\*\*\*}"; ARG_RESTART_RECURSIVE=3; + elif [ "${ARG_RESTART#\*\*}" != "${ARG_RESTART}" ]; then ARG_RESTART="${ARG_RESTART#\*\*}"; ARG_RESTART_RECURSIVE=2; elif [ "${ARG_RESTART#\*}" != "${ARG_RESTART}" ]; then ARG_RESTART="${ARG_RESTART#\*}"; ARG_RESTART_RECURSIVE=1; |