aboutsummaryrefslogtreecommitdiff
path: root/lib/grep.ml
diff options
context:
space:
mode:
authorMarc Coquand <marc@mccd.space>2024-05-17 15:07:04 -0500
committerMarc Coquand <marc@mccd.space>2024-05-17 15:07:04 -0500
commit1b4ed54a85c31a032fbc841c62f674c3a8f2764b (patch)
tree9544f04a8516b215104c170c3129faa75b33cfe6 /lib/grep.ml
parent0f36dee9ed3225662e551fce165e30867b246656 (diff)
downloadstitch-1b4ed54a85c31a032fbc841c62f674c3a8f2764b.tar.gz
stitch-1b4ed54a85c31a032fbc841c62f674c3a8f2764b.tar.bz2
stitch-1b4ed54a85c31a032fbc841c62f674c3a8f2764b.zip
Fix binary release
Diffstat (limited to 'lib/grep.ml')
-rw-r--r--lib/grep.ml5
1 files changed, 4 insertions, 1 deletions
diff --git a/lib/grep.ml b/lib/grep.ml
index 7ec4c95..2e55b40 100644
--- a/lib/grep.ml
+++ b/lib/grep.ml
@@ -1,4 +1,7 @@
-let execution_directory = Sys.getenv "STITCH_DIRECTORY"
+let execution_directory =
+ Sys.getenv_opt "STITCH_DIRECTORY" |> Option.value ~default:"/anywhere"
+
+
let grep_cmd = Sys.getenv_opt "STICH_GREP_CMD" |> Option.value ~default:"grep"
let tag_pattern =