From e4e30bb3d82be8f1465fb86c44d80aa4db81fbbc Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Rapha=C3=ABl=20Proust?= Date: Thu, 21 Feb 2019 16:45:01 +0800 Subject: [PATCH] Scripts: more typos --- scripts/update_opam_repo.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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 :