diff options
Diffstat (limited to 'functions/stagefile.sh')
-rwxr-xr-x | functions/stagefile.sh | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/functions/stagefile.sh b/functions/stagefile.sh index 384aaec2d..8d9281415 100755 --- a/functions/stagefile.sh +++ b/functions/stagefile.sh @@ -9,6 +9,11 @@ ## under certain conditions; see COPYING for details. +Stagefiles_dir () +{ + echo ".build" +} + # Get the default filename for a script's stagefile (the name of the script # file itself). A suffix can be appended via providing as a param. Stagefile_name () @@ -19,6 +24,14 @@ Stagefile_name () echo ${FILENAME}${SUFFIX:+.$SUFFIX} } +Stagefile_exists () +{ + if [ -f ".build/${1:-$(Stagefile_name)}" ]; then + return 0 + fi + return 1 +} + Check_stagefile () { local FILE |