12345qiupeng
/
cartographer_ros
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Do not ignore docker history command errors. (#345) 

Fixes googlecartographer/cartographer#292
master
Juraj Oršulić 2017-05-19 06:34:43 +00:00 committed by Damon Kohler
parent eb804c1182
commit 841b17f393
1 changed files with 4 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
scripts/save_docker_cache.sh
View File

@ -23,7 +23,8 @@ set -o pipefail
if [[ ${TRAVIS_BRANCH} == "master" ]] && if [[ ${TRAVIS_BRANCH} == "master" ]] &&
[[ ${TRAVIS_PULL_REQUEST} == "false" ]]; then [[ ${TRAVIS_PULL_REQUEST} == "false" ]]; then
mkdir -p $(dirname ${DOCKER_CACHE_FILE}); mkdir -p $(dirname ${DOCKER_CACHE_FILE})
docker save $(docker history -q cartographer_ros:${ROS_RELEASE} | IMAGE_NAMES=$(docker history -q cartographer_ros:${ROS_RELEASE} | grep -v '<missing>')
grep -v '<missing>') | gzip > ${DOCKER_CACHE_FILE}; docker save ${IMAGE_NAMES} | gzip > ${DOCKER_CACHE_FILE}.new
mv ${DOCKER_CACHE_FILE}.new ${DOCKER_CACHE_FILE}
fi fi