diff options
author | Daniel Baumann <daniel@debian.org> | 2007-09-23 10:04:48 +0200 |
---|---|---|
committer | Daniel Baumann <daniel@debian.org> | 2011-03-09 18:18:28 +0100 |
commit | 799d4bfb31c279b72088c8ee8a16c2710ab8a309 (patch) | |
tree | 4bbc1758ceaa46c5e81fe9d66ccdaacfec047ef8 /functions/stagefile.sh | |
parent | 677415f6d7efc1e5b888570d70af311d2900c69c (diff) | |
download | vyos-live-build-799d4bfb31c279b72088c8ee8a16c2710ab8a309.tar.gz vyos-live-build-799d4bfb31c279b72088c8ee8a16c2710ab8a309.zip |
Adding live-helper 1.0~a3-1.
Diffstat (limited to 'functions/stagefile.sh')
-rwxr-xr-x | functions/stagefile.sh | 16 |
1 files changed, 14 insertions, 2 deletions
diff --git a/functions/stagefile.sh b/functions/stagefile.sh index 23c3a3429..d9d650333 100755 --- a/functions/stagefile.sh +++ b/functions/stagefile.sh @@ -1,6 +1,11 @@ #!/bin/sh # stagefile.sh - handle stage files +# Copyright (C) 2006-2007 Daniel Baumann <daniel@debian.org> +# +# live-helper comes with ABSOLUTELY NO WARRANTY; for details see COPYING. +# This is free software, and you are welcome to redistribute it +# under certain conditions; see COPYING for details. set -e @@ -12,8 +17,15 @@ Check_stagefile () # Checking stage file if [ -f "${STAGEFILE}" ] then - echo "W: skipping ${STAGENAME}" - exit 0 + if [ "${FORCE}" = "true" ] + then + # Forcing execution + rm -f "${STAGEFILE}" + else + # Skipping execution + echo "W: skipping ${STAGENAME}" + exit 0 + fi fi } |