Commit f1e92861 authored by Richard Levitte's avatar Richard Levitte
Browse files

CI config: no need to make both install and install_docs



'install' depends on 'install_docs', so making the latter explicit is
a waste.

Reviewed-by: default avatarAndy Polyakov <appro@openssl.org>
(Merged from https://github.com/openssl/openssl/pull/6250)

(cherry picked from commit 986caf9e)
parent 0ec946fd
Loading
Loading
Loading
Loading
+1 −1
Original line number Diff line number Diff line
@@ -186,7 +186,7 @@ script:
      fi
    - if [ -n "$DESTDIR" ]; then
          mkdir "../$DESTDIR";
          if $make install install_docs DESTDIR="../$DESTDIR"; then
          if $make install DESTDIR="../$DESTDIR"; then
              echo -e '+\057\057\057\057\057 MAKE INSTALL_DOCS OK';
          else
              echo -e '+\057\057\057\057\057 MAKE INSTALL_DOCS FAILED'; false;
+1 −1
Original line number Diff line number Diff line
@@ -41,5 +41,5 @@ test_script:
    - cd _build
    - nmake test
    - mkdir ..\_install
    - nmake install install_docs DESTDIR=..\_install
    - nmake install DESTDIR=..\_install
    - cd ..