diff options
| -rw-r--r-- | editors/awk.c | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/editors/awk.c b/editors/awk.c index 372a255bd..2005329ad 100644 --- a/editors/awk.c +++ b/editors/awk.c @@ -70,7 +70,11 @@ #endif -#define OPTSTR_AWK \ +/* "+": stop on first non-option: + * $ awk 'BEGIN { for(i=1; i<ARGC; ++i) { print i ": " ARGV[i] }}' -argz + * 1: -argz + */ +#define OPTSTR_AWK "+" \ "F:v:*f:*" \ IF_FEATURE_AWK_GNU_EXTENSIONS("e:*") \ "W:" |