CI: opam remove needs --all.

paurkedal · Sep 19, 2018 · bb3e95e · bb3e95e
1 parent 3b1a0d7
commit bb3e95e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.circleci/config.yml b/.circleci/config.yml
@@ -21,7 +21,7 @@ jobs:
           # This Docker image defaults to coming with its own opam repo built
           # in, but we want to actually update with the real upstream opam
           command: |
-            opam remote remove default
+            opam remote remove --all default
             opam remote add default https://opam.ocaml.org
       - run:
           name: Pin packages