run: --tmux-args implies --tmux

run

@@ -64,7 +64,7 @@ See: https://github.com/cirosantilli/linux-kernel-module-cheat#replace-init
 Pass an extra Linux kernel command line options, and place them before
 the dash separator `-`. Only options that come before the `-`, i.e.
 "standard" options, should be passed with this option.
-Example: `./run -a arm -e 'init=/poweroff.out'`
+Example: `./run --arch arm --kernel-cli 'init=/poweroff.out'`
 '''
         )
         self.add_argument(
@@ -178,7 +178,7 @@ to use this option:
         self.add_argument(
             '--tmux-args',
             help='''\
-Parameters to pass to the program running on the tmux split.
+Parameters to pass to the program running on the tmux split. Implies --tmux.
 '''
         )
         self.add_argument(
@@ -559,6 +559,8 @@ Run QEMU with VNC instead of the default SDL. Connect to it with:
                     )
                 if self.env['baremetal'] is None:
                     cmd.extend(append)
+        if self.env['tmux_args'] is not None:
+            self.env['tmux'] = True
         if self.env['tmux']:
             tmux_args = '--run-id {}'.format(self.env['run_id'])
             if self.env['emulator'] == 'gem5':