diff --git a/scripts/update_opam_repo.sh b/scripts/update_opam_repo.sh index 64b5b8f49..f5b046305 100755 --- a/scripts/update_opam_repo.sh +++ b/scripts/update_opam_repo.sh @@ -1,13 +1,13 @@ #! /bin/sh # Update the repository of opam packages used by tezos. Tezos uses a -# private, epurated, opam repository to store all its +# private, shrunk down, opam repository to store all its # dependencies. This is generated by the official opam repository # (branch master) and then filtered using opam admin to include only # the cone of tezos dependencies. This repository is then used to # create the based opam image used by the CI to compile tezos and to # generate the docker images. From time to time, when it is necessary -# to update a dependency, this repository should manually +# to update a dependency, this repository should be manually # refreshed. This script takes care of generating a patch for the # private opam tezos repository. This patch must be applied manually # w.r.t. the master branch. The procedure is as follows :