0
0
mirror of https://github.com/mongodb/mongo.git synced 2024-11-24 16:46:00 +01:00
mongodb/evergreen/functions/files_remove.sh

13 lines
240 B
Bash
Executable File

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