Hi Junio, On Wed, 2 Oct 2019, Junio C Hamano wrote: > "Johannes Schindelin via GitGitGadget" <gitgitgadget@xxxxxxxxx> > writes: > > > - sudo apt-get install -y coccinelle && > > + sudo apt-get install -y coccinelle coccinelle libcurl4-openssl-dev libssl-dev libexpat-dev gettext && > > I think "s/coccinelle //" is necessary here (assuming that "apt-get install" > is the same Debian thing I know about). > > Will do so locally, so no need to resend, but "Yeah, that was a > typo" or "no stupid, what I wrote is right" would be a nice > response to see, especially if I have to undo the local fix. Yes, this was a copy-edit fail on my part. Thanks, Dscho > > Thanks. > > > > diff --git a/ci/install-dependencies.sh b/ci/install-dependencies.sh > > index 8cc72503cb..8ce9ce276e 100755 > > --- a/ci/install-dependencies.sh > > +++ b/ci/install-dependencies.sh > > @@ -49,7 +49,8 @@ osx-clang|osx-gcc) > > ;; > > StaticAnalysis) > > sudo apt-get -q update > > - sudo apt-get -q -y install coccinelle > > + sudo apt-get -q -y install coccinelle libcurl4-openssl-dev libssl-dev \ > > + libexpat-dev gettext > > ;; > > Documentation) > > sudo apt-get -q update > > diff --git a/ci/run-static-analysis.sh b/ci/run-static-analysis.sh > > index a19aa7ebbc..65bcebda41 100755 > > --- a/ci/run-static-analysis.sh > > +++ b/ci/run-static-analysis.sh > > @@ -26,4 +26,7 @@ then > > exit 1 > > fi > > > > +make hdr-check || > > +exit 1 > > + > > save_good_tree >