mirrors/mongodb
mirrors/mongodb
0
0
Fork 0
mirror of https://github.com/mongodb/mongo.git synced 2024-12-01 09:32:32 +01:00
Code Issues Releases Activity

SERVER-70428: Remove generated _misc tasks

Browse Source
This commit is contained in:
Jeff Zambory 2022-10-13 14:47:58 +00:00 committed by Evergreen Agent
parent e1974a8229
commit 7993e99666
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
evergreen/prelude_mongo_task_generator.sh
View File

@ -1,6 +1,6 @@
function setup_mongo_task_generator {
if [ ! -f mongo-task-generator ]; then
curl -L https://github.com/mongodb/mongo-task-generator/releases/download/v0.6.2/mongo-task-generator --output mongo-task-generator
curl -L https://github.com/mongodb/mongo-task-generator/releases/download/v0.6.3/mongo-task-generator --output mongo-task-generator
chmod +x mongo-task-generator
fi
}