diff options
| author | Richard Levitte <levitte@openssl.org> | 2018-05-14 10:28:52 +0300 |
|---|---|---|
| committer | Richard Levitte <levitte@openssl.org> | 2018-05-14 18:51:48 +0300 |
| commit | 986caf9e34fd60366a5b3711bb12e239e43a2431 (patch) | |
| tree | d125f6892d6463bd1ae53aeac252f4cfa901f25c /.travis.yml | |
| parent | 8481434439e421d513350a81a01ba2e2a8e61b6e (diff) | |
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)
Diffstat (limited to '.travis.yml')
| -rw-r--r-- | .travis.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.travis.yml b/.travis.yml index f23f15685d..4affefd5f0 100644 --- a/.travis.yml +++ b/.travis.yml @@ -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'; |