balsoft/ligo
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

CI/Opam: fixup script

Browse Source
This commit is contained in:
Grégoire Henry 2019-01-22 02:02:54 +01:00
parent 96aa1aa621
commit 8f263d4da0
No known key found for this signature in database
GPG Key ID: 50D984F20BD445D2
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
scripts/opam-check.sh
View File

@ -14,7 +14,7 @@ if ! opam install $opams --deps-only --with-test --show-actions | grep "Nothing
echo echo
echo 'Failure! Missing actions:' echo 'Failure! Missing actions:'
echo echo
opam install $packages --deps-only --with-test --show-actions opam install $opams --deps-only --with-test --show-actions
echo echo
echo 'Failed! Please read the doc in `./scripts/update_opam_repo.sh` and act accordingly.' echo 'Failed! Please read the doc in `./scripts/update_opam_repo.sh` and act accordingly.'
echo echo