From 47bb44ec5bddf49894c9c2005e4837827ad7e010 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Ciro=20Santilli=20=E5=85=AD=E5=9B=9B=E4=BA=8B=E4=BB=B6=20?= =?UTF-8?q?=E6=B3=95=E8=BD=AE=E5=8A=9F?= Date: Thu, 13 Feb 2020 00:00:02 +0000 Subject: [PATCH] ./run --tmux works again without --gem5-worktree, was looking for None/m5term --- run | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/run b/run index 852937d..dae9ad0 100755 --- a/run +++ b/run @@ -790,8 +790,8 @@ Extra options to append at the end of the emulator command line. '-cpu', cpu, LF, ]) if self.env['tmux']: - tmux_args = "--gem5-worktree '{}' --run-id {}".format( - self.env['gem5_worktree'], + tmux_args = "--gem5-build-id '{}' --run-id {}".format( + self.env['gem5_build_id'], self.env['run_id'] ) if self.env['tmux_program'] == 'shell':