jenkins: upload params.json.gz to S3

This commit is contained in:
Beat Küng
2020-12-01 09:27:03 +01:00
parent f8989fe5aa
commit cedfae9e46
2 changed files with 12 additions and 4 deletions
@@ -112,8 +112,15 @@ private:
}
} else {
// TODO: use server uri
return false;
// TODO:
// - check for tagged version, use per-version files
// - generate & use board-specific file
if (snprintf(component_info.metadata_uri, sizeof(component_info.metadata_uri),
"https://px4-travis.s3.amazonaws.com/Firmware/master/%s", file)
>= (int)sizeof(component_info.metadata_uri)) {
PX4_ERR("url too long (%s)", file);
return false;
}
}
return true;