diff options
Diffstat (limited to 'ci')
| -rwxr-xr-x | ci/travis-install.sh | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/ci/travis-install.sh b/ci/travis-install.sh index b455fd3e..c28a4111 100755 --- a/ci/travis-install.sh +++ b/ci/travis-install.sh @@ -53,6 +53,9 @@ NULL= # ci_configopts: Additional arguments for configure : "${ci_configopts:=}" +# ci_pkgs: Additional packages to be installed +: "${ci_pkgs:=}" + if [ $(id -u) = 0 ]; then sudo= else |