fix os:argv(V) not completing

2024-01-02 21:43:38 +01:00
parent 76b1167842
commit 8bd0317e9c
1 changed files with 2 additions and 1 deletions
--- a/src/lib/os.pl
+++ b/src/lib/os.pl
@@ -139,7 +139,8 @@ argv(Argv) :-
    '$argv'(Argv0),
    ( member("--", Argv0) ->
        append(Argv1, ["--"|Argv], Argv0),
-        \+ member("--", Argv1)
+        \+ member("--", Argv1),
+        !
    ;
        Argv = []
    ).