diff options
| author | Simon Glass <[email protected]> | 2021-08-18 21:40:24 -0600 |
|---|---|---|
| committer | Tom Rini <[email protected]> | 2021-09-16 13:19:25 -0400 |
| commit | 130401e0171f4a17511bfd8ba061a11dc10ff18a (patch) | |
| tree | 0c8b23d5006fe2d1c7a7b49c020854a9127f3d0d | |
| parent | 032e7f6ef8c9c463bfd085eb6915dc088c8fa8cf (diff) | |
sandbox: Correct handling of --rm_memory
This option has no argument so we should not trip to skip one.
Fix it.
Signed-off-by: Simon Glass <[email protected]>
| -rw-r--r-- | arch/sandbox/cpu/os.c | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/arch/sandbox/cpu/os.c b/arch/sandbox/cpu/os.c index 1103530941b..151f42a5d6c 100644 --- a/arch/sandbox/cpu/os.c +++ b/arch/sandbox/cpu/os.c @@ -690,7 +690,6 @@ static int add_args(char ***argvp, char *add_args[], int count) continue; } } else if (!strcmp(arg, "--rm_memory")) { - ap++; continue; } argv[argc++] = arg; |