diff options
Diffstat (limited to 'evergreen/functions/files_remove.sh')
| -rwxr-xr-x | evergreen/functions/files_remove.sh | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/evergreen/functions/files_remove.sh b/evergreen/functions/files_remove.sh new file mode 100755 index 00000000000..a2c905cdedd --- /dev/null +++ b/evergreen/functions/files_remove.sh @@ -0,0 +1,12 @@ +DIR="$(cd "$(dirname "${BASH_SOURCE[0]}")" >/dev/null 2>&1 && pwd)" +. "$DIR/../prelude.sh" + +if [ -z "${files}" ]; then + exit 0 +fi +for file in ${files}; do + if [ -f "$file" ]; then + echo "Removing file $file" + rm -f $file + fi +done |