tree 415dba2429509a2da4e81dae0b6014b219414a48
parent b38d5a08747a06c5db03d0569d3a3e4feb9b53d7
author Luca Milanesio <luca.milanesio@gmail.com> 1539906277 +0100
committer Luca Milanesio <luca.milanesio@gmail.com> 1539936137 +0000

Fix Docker build on CentOS

git config breaks when the key already exists, which is
the case in Gerrit v2.16 as the javaOptions already
have a value in the default configuration.

Put an extra --add to make sure the extra option is added
and the config command doesn't fail anymore.

Change-Id: I285ab71bc572126dfb79830bc52cfb73dd04f83b