diff options
Diffstat (limited to 'src/sh_flags.gen')
| -rw-r--r-- | src/sh_flags.gen | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/sh_flags.gen b/src/sh_flags.gen index a0a0f6a..538baf1 100644 --- a/src/sh_flags.gen +++ b/src/sh_flags.gen @@ -21,7 +21,7 @@ #ifndef SHFLAGS_OPTCS #if defined(SHFLAGS_DEFNS) -__RCSID("$MirOS: src/bin/mksh/sh_flags.opt,v 1.8 2019/12/30 03:58:58 tg Exp $"); +__RCSID("$MirOS: src/bin/mksh/sh_flags.opt,v 1.9 2020/05/16 22:38:25 tg Exp $"); #elif defined(SHFLAGS_ENUMS) #define FN(sname,cname,flags,ochar) cname, #define F0(sname,cname,flags,ochar) cname = 0, @@ -95,7 +95,6 @@ FN("xtrace", FXTRACE, OF_ANY, 'x') #ifndef SHFLAGS_NOT_CMD FN("", FCOMMAND, OF_CMDLINE, 'c') #endif -FN("", FAS_BUILTIN, OF_INTERNAL, 0) FN("", FTALKING_I, OF_INTERNAL, 0) #undef F0 #undef FN |