From 80c5317f3c7fdba007297582c54e366b4781e706 Mon Sep 17 00:00:00 2001 From: Marc Coquand Date: Mon, 10 Jun 2024 08:59:55 -0500 Subject: Bugfix: Grep CMD was incorrect --- lib/grep.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/lib/grep.ml b/lib/grep.ml index 7ec664e..7b19a36 100644 --- a/lib/grep.ml +++ b/lib/grep.ml @@ -2,7 +2,7 @@ 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 grep_cmd = Sys.getenv_opt "STITCH_GREP_CMD" |> Option.value ~default:"grep" let tag_pattern = Sys.getenv_opt "STITCH_TAG_PATTERN" |> Option.value ~default:"\\:[a-z-]+\\:" -- cgit v1.2.3