ligo/scripts
Michael Sproul 2c28d3b202 Scripts: make opam env invocation more robust
Tells `opam env` to explicitly use the init script for `sh`, which prevents it
from picking an incompatible script for another shell. In particular, the init
script for `fish` makes no sense when evaluated in `sh`.
2018-07-13 00:58:00 +02:00
..
2018-07-09 12:14:43 +02:00
2018-07-02 10:53:20 +02:00
2018-06-30 17:41:32 +02:00
2018-02-22 10:24:02 -05:00
2018-05-17 11:09:35 +02:00
2018-03-07 19:22:22 +01:00
2018-02-22 10:24:02 -05:00