diff options
-rwxr-xr-x | .travis/install-gpg.sh | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/.travis/install-gpg.sh b/.travis/install-gpg.sh index 667f1b83..9cd6f3e4 100755 --- a/.travis/install-gpg.sh +++ b/.travis/install-gpg.sh | |||
@@ -11,7 +11,9 @@ wget "https://www.gnupg.org/ftp/gcrypt/$package/$package-$version.tar.bz2" -O "/ | |||
11 | cd /tmp | 11 | cd /tmp |
12 | tar xvfa "/tmp/$package.tar.bz2" | 12 | tar xvfa "/tmp/$package.tar.bz2" |
13 | cd "$package-$version" | 13 | cd "$package-$version" |
14 | ./configure "${configure_opts[@]}" | 14 | # Expand configure_opts only if configure_opts is not undefined |
15 | # (in older versions of Bash, empty array is considered undefined) | ||
16 | ./configure "${configure_opts[@]+"${configure_opts[@]}"}" | ||
15 | make | 17 | make |
16 | sudo make install | 18 | sudo make install |
17 | cd | 19 | cd |