diff options
| -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) { |