aboutsummaryrefslogtreecommitdiff
path: root/dune-project
diff options
context:
space:
mode:
authorMarc Coquand <marc@mccd.space>2024-05-19 08:50:43 -0500
committerMarc Coquand <marc@mccd.space>2024-05-19 08:50:43 -0500
commitb9728e919b074b2bf9690eca04d8d96e64b3207a (patch)
treee27415e932c4f19f78ac5bcd50e2c06543af8c91 /dune-project
parentc3a52f259f3a3b70ab25fba98ab7450e0fa69e67 (diff)
downloadstitch-b9728e919b074b2bf9690eca04d8d96e64b3207a.tar.gz
stitch-b9728e919b074b2bf9690eca04d8d96e64b3207a.tar.bz2
stitch-b9728e919b074b2bf9690eca04d8d96e64b3207a.zip
Set Stitch to fail if STITCH_DIRECTORY is not set
Diffstat (limited to 'dune-project')
0 files changed, 0 insertions, 0 deletions