build_binaries: regenerate manifest after building binaries
This commit is contained in:
parent
d7977dfcc2
commit
009bb7fa9c
@ -370,4 +370,15 @@ done
|
||||
|
||||
rm -rf $TMPDIR
|
||||
|
||||
if ./Tools/scripts/generate-manifest.py $binaries http://firmware.ardupilot.org >$binaries/manifest.json.new; then
|
||||
echo "Manifest generation succeeded"
|
||||
# provide a pre-compressed manifest. For reference, a 7M manifest
|
||||
# "gzip -9"s to 300k in 1 second, "xz -e"s to 80k in 26 seconds
|
||||
gzip -9 <$binaries/manifest.json.new >$binaries/manifest.json.gz.new
|
||||
mv $binaries/manifest.json.new $binaries/manifest.json
|
||||
mv $binaries/manifest.json.gz.new $binaries/manifest.json.gz
|
||||
else
|
||||
echo "Manifest generation failed"
|
||||
fi
|
||||
|
||||
exit $error_count
|
||||
|
Loading…
Reference in New Issue
Block a user