use --pull to build docker images

This commit is contained in:
Mike Aizatsky 2016-10-13 19:02:03 -07:00 committed by GitHub
parent b01349c11b
commit 3566579c89
1 changed files with 1 additions and 1 deletions

View File

@ -154,7 +154,7 @@ def build_image(build_args):
return 1
command = [
'docker', 'build', '-t', 'ossfuzz/' + args.library_name,
'docker', 'build', '--pull', '-t', 'ossfuzz/' + args.library_name,
args.library_name
]
print('Running:', _get_command_string(command))