diff options
| author | Minijackson <minijackson@riseup.net> | 2018-02-27 15:32:25 +0100 |
|---|---|---|
| committer | Minijackson <minijackson@riseup.net> | 2018-02-27 16:14:01 +0100 |
| commit | 2ce0fd3ff671310b9800bdc3fcf752860f82778d (patch) | |
| tree | 0354b93ddb89baa77208c7c834049d8bbc791958 | |
| parent | c4ca4c9dfcd9907b25df89948545bd4fee32e725 (diff) | |
| download | kube-2ce0fd3ff671310b9800bdc3fcf752860f82778d.tar.gz kube-2ce0fd3ff671310b9800bdc3fcf752860f82778d.zip | |
Funky configure_opts expansion
| -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 |