change syntax opamrc: update travis script

jhwoodyatt · Apr 13, 2018 · b2a8689 · b2a8689
1 parent 9daaf3d
commit b2a8689
Showing 1 changed file with 6 additions and 8 deletions.
diff --git a/.travis-ci.sh b/.travis-ci.sh
@@ -45,14 +45,12 @@ case "$TARGET" in
   # Disable bubblewrap wrapping, it's not available within Docker
   cat <<EOF >>~/.opamrc
 required-tools: [
-  [
-    ["curl" "wget"]
-    "A download tool is required, check env variables OPAMCURL or OPAMFETCH"
-  ]
-  [["diff"] ""]
-  [["patch"] ""]
-  [["tar"] ""]
-  [["unzip"] ""]
+  ["curl" "wget"]
+    {"A download tool is required, check env variables OPAMCURL or OPAMFETCH"}
+  "diff"
+  "patch"
+  "tar"
+  "unzip"
 ]
 wrap-build-commands: []
 wrap-install-commands: []