diff options
author | Jeremy Harris <jgh146exb@wizmail.org> | 2023-04-01 19:48:15 +0100 |
---|---|---|
committer | Jeremy Harris <jgh146exb@wizmail.org> | 2023-04-01 19:48:15 +0100 |
commit | d5939cf05037d4a70ca43ec4d436c2e699530444 (patch) | |
tree | 4c10c3dad649a1d13e11d8594a8db8ee32bab467 /src | |
parent | e093f239f9d0c6e5f590d9979bcbc3e60c540edf (diff) |
Docs: options after "run" of ${run } may not have space. Bug 2932
Diffstat (limited to 'src')
-rw-r--r-- | src/src/expand.c | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/src/expand.c b/src/src/expand.c index 6dcd45062..9f80439cb 100644 --- a/src/src/expand.c +++ b/src/src/expand.c @@ -5630,7 +5630,6 @@ while (*s) /* Handle options to the "run" */ while (*s == ',') - { if (Ustrncmp(++s, "preexpand", 9) == 0) { late_expand = FALSE; s += 9; } else @@ -5641,7 +5640,6 @@ while (*s) (int)(t-s), s); goto EXPAND_FAILED; } - } Uskip_whitespace(&s); if (*s != '{') /*}*/ |