2018-12-18 23:31:09 +00:00
|
|
|
#!/bin/bash
|
|
|
|
|
target="aggreact"
|
|
|
|
|
ghcid \
|
2019-01-20 12:34:12 +00:00
|
|
|
--command "stack ghci --with-ghc ghci \"--docker-run-args=--interactive=true --tty=false\" $target --no-build --ghci-options=-fobject-code" \
|
2018-12-18 23:31:09 +00:00
|
|
|
--test "DevelMain.update"
|
