From 1b4ed54a85c31a032fbc841c62f674c3a8f2764b Mon Sep 17 00:00:00 2001 From: Marc Coquand Date: Fri, 17 May 2024 15:07:04 -0500 Subject: Fix binary release --- lib/grep.ml | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) (limited to 'lib') 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 = -- cgit v1.2.3