From 2ce0fd3ff671310b9800bdc3fcf752860f82778d Mon Sep 17 00:00:00 2001
From: Minijackson <minijackson@riseup.net>
Date: Tue, 27 Feb 2018 15:32:25 +0100
Subject: Funky configure_opts expansion

---
 .travis/install-gpg.sh | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

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 "/
 cd /tmp
 tar xvfa "/tmp/$package.tar.bz2"
 cd "$package-$version"
-./configure "${configure_opts[@]}"
+# Expand configure_opts only if configure_opts is not undefined
+# (in older versions of Bash, empty array is considered undefined)
+./configure "${configure_opts[@]+"${configure_opts[@]}"}"
 make
 sudo make install
 cd
-- 
cgit v1.2.3