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: Andy Polyakov <appro@openssl.org>
(Merged from https://github.com/openssl/openssl/pull/6250)
This commit is contained in:
Richard Levitte 2018-05-14 09:28:52 +02:00
parent 8481434439
commit 986caf9e34
2 changed files with 2 additions and 2 deletions

View file

@ -229,7 +229,7 @@ script:
fi
- if [ -n "$DESTDIR" ]; then
mkdir "$top/$DESTDIR";
if $make install install_docs DESTDIR="$top/$DESTDIR" >~/install.log 2>&1 ; then
if $make install DESTDIR="$top/$DESTDIR" >~/install.log 2>&1 ; then
echo -e '+\057\057\057\057\057\057\057 MAKE INSTALL OK';
else
echo -e '+\057\057\057\057\057\057\057 MAKE INSTALL FAILED';

View file

@ -61,6 +61,6 @@ test_script:
- ps: >-
if ($env:EXTENDED_TESTS) {
mkdir ..\_install
cmd /c "nmake install install_docs DESTDIR=..\_install 2>&1"
cmd /c "nmake install DESTDIR=..\_install 2>&1"
}
- cd ..