From 2737eea87f6bd4becda5c172c208314af044184a Mon Sep 17 00:00:00 2001 From: Afshin Arani Date: Mon, 30 Oct 2023 14:39:50 +0330 Subject: [PATCH] Misc: allow unknown args when finding prefix --- Fsdk/Misc.fs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Fsdk/Misc.fs b/Fsdk/Misc.fs index 174a9e7..2d147d7 100644 --- a/Fsdk/Misc.fs +++ b/Fsdk/Misc.fs @@ -838,7 +838,7 @@ module Misc = GatherPrefix(head.Substring prefixArgWithEquals.Length) ) else - failwithf "argument not recognized: %s" head + GatherOrGetDefaultPrefix(tail, false, prefixSet) let ReplaceTextInFile