From 8f263d4da0993a3bfc8939a30199ad26f6a20bbc Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Gr=C3=A9goire=20Henry?= Date: Tue, 22 Jan 2019 02:02:54 +0100 Subject: [PATCH] CI/Opam: fixup script --- scripts/opam-check.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/opam-check.sh b/scripts/opam-check.sh index 986f79d25..e83977faa 100755 --- a/scripts/opam-check.sh +++ b/scripts/opam-check.sh @@ -14,7 +14,7 @@ if ! opam install $opams --deps-only --with-test --show-actions | grep "Nothing echo echo 'Failure! Missing actions:' echo - opam install $packages --deps-only --with-test --show-actions + opam install $opams --deps-only --with-test --show-actions echo echo 'Failed! Please read the doc in `./scripts/update_opam_repo.sh` and act accordingly.' echo