This commit is contained in:
wpetit 2017-07-17 17:59:33 +02:00
rodzic 422407a37c
commit 948745877c
1 zmienionych plików z 2 dodań i 2 usunięć

Wyświetl plik

@ -91,8 +91,8 @@ if __name__ == "__main__":
# Append custom arguments
if args.override_docker_args != "":
docker_args = args.override_docker_args.replace('[IMAGE_TAG]', image_tag)
docker_args = args.override_docker_args.replace('[PROFILE]', args.profile)
docker_args = args.override_docker_args.replace('[ARCH]', args.architecture)
docker_args = docker_args.replace('[PROFILE]', args.profile)
docker_args = docker_args.replace('[ARCH]', args.architecture)
else:
docker_args += [ "run", "--rm" ]