diff options
author | Tanaka Akira <akr@users.sourceforge.net> | 1999-05-04 21:20:40 +0000 |
---|---|---|
committer | Tanaka Akira <akr@users.sourceforge.net> | 1999-05-04 21:20:40 +0000 |
commit | d14a9044cf0b0309d83a438ea6196564a504bab4 (patch) | |
tree | efd5954ecc3a4a8196b4eb75c7486cfa92ab675e | |
parent | f0159dac3458e4b8685fb09a030be234cc7f4850 (diff) | |
download | zsh-d14a9044cf0b0309d83a438ea6196564a504bab4.tar.gz zsh-d14a9044cf0b0309d83a438ea6196564a504bab4.tar.xz zsh-d14a9044cf0b0309d83a438ea6196564a504bab4.zip |
zsh-workers:6193
-rw-r--r-- | Src/options.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Src/options.c b/Src/options.c index 9010831c0..19677dfa9 100644 --- a/Src/options.c +++ b/Src/options.c @@ -635,6 +635,8 @@ dosetopt(int optno, int value, int force) } } else if(!force && (optno == INTERACTIVE || optno == SHINSTDIN || optno == SINGLECOMMAND)) { + if (opts[optno] == value) + return 0; /* it is not permitted to change the value of these options */ return -1; } else if(!force && optno == USEZLE && value) { |