Merge pull request #2264 from Skgland/fix-os-argv-1

Fix os:argv/1 in case the raw args contain multiple `--`
2024-01-06 15:52:53 -07:00
parent ed92e1b4f4 78b83ca1e1
commit 92b85d4ba6
9 changed files with 32 additions and 3 deletions
--- a/src/lib/os.pl
+++ b/src/lib/os.pl
@@ -138,7 +138,8 @@ raw_argv(Argv) :-
 argv(Argv) :-
    can_be(list, Argv),
    '$argv'(Argv0),
-    (    append(_, ["--"|Argv], Argv0) ->
-	 true
-    ;    Argv = []
+    ( append(_, ["--"|Argv1], Argv0) ->
+        Argv = Argv1
+    ;
+        Argv = []
    ).