aboutsummaryrefslogtreecommitdiff
path: root/bwrap-files/workdir/entry.sh
blob: 1a466dac285dbe59f7031fb59593624b95ee87f9 (plain)
1
2
3
4
5
6
#!/bin/bash
set -euo pipefail

cd "$(dirname "$0")"

ghcup --offline run -- ghci Yahb2Defs.hs 2>&1