about summary refs log tree commit diff
diff options
context:
space:
mode:
authorTanaka Akira <akr@users.sourceforge.net>1999-05-04 21:20:40 +0000
committerTanaka Akira <akr@users.sourceforge.net>1999-05-04 21:20:40 +0000
commitd14a9044cf0b0309d83a438ea6196564a504bab4 (patch)
treeefd5954ecc3a4a8196b4eb75c7486cfa92ab675e
parentf0159dac3458e4b8685fb09a030be234cc7f4850 (diff)
downloadzsh-d14a9044cf0b0309d83a438ea6196564a504bab4.tar.gz
zsh-d14a9044cf0b0309d83a438ea6196564a504bab4.tar.xz
zsh-d14a9044cf0b0309d83a438ea6196564a504bab4.zip
zsh-workers:6193
-rw-r--r--Src/options.c2
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) {