1 files changed, 0 insertions, 3 deletions
diff --git a/gdb/kod.c b/gdb/kod.c
index 2641c38..68ce18c 100644
--- a/gdb/kod.c
+++ b/gdb/kod.c
@@ -132,9 +132,6 @@ kod_set_os (char *arg, int from_tty, struct cmd_list_element *command)
 {
   char *p;
 
-  if (command->type != set_cmd)
-    return;
-
   /* If we had already had an open OS, close it.  */
   if (gdb_kod_close)
     (*gdb_kod_close) ();