diff options
Diffstat (limited to 'Tools/CI-linux-install.sh')
-rw-r--r-- | Tools/CI-linux-install.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Tools/CI-linux-install.sh b/Tools/CI-linux-install.sh index 9d47b9dc3..81e28ec8c 100644 --- a/Tools/CI-linux-install.sh +++ b/Tools/CI-linux-install.sh @@ -80,7 +80,7 @@ case "$SWIGLANG" in opam init opam --version eval `opam config env` - opam switch list --all + opam switch list --full ;; "octave") if [[ "$VER" ]]; then |