From 4c27b859722089e0270fd4f41b4b3c63b6647439 Mon Sep 17 00:00:00 2001 From: Pavel Dovgalyuk Date: Thu, 17 Sep 2015 19:25:18 +0300 Subject: replay: command line options This patch introduces command line options for enabling recording or replaying virtual machine behavior. These options are added to icount command line parameter. They include 'rr' which switches between record and replay and 'rrfile' for specifying the filename for replay log. Signed-off-by: Pavel Dovgalyuk Message-Id: <20150917162518.8676.70792.stgit@PASHA-ISP.def.inno> Signed-off-by: Paolo Bonzini Signed-off-by: Pavel Dovgalyuk --- replay/replay.c | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'replay') diff --git a/replay/replay.c b/replay/replay.c index 1373346..0d33e82 100644 --- a/replay/replay.c +++ b/replay/replay.c @@ -295,6 +295,10 @@ void replay_start(void) error_get_pretty(replay_blockers->data)); exit(1); } + if (!use_icount) { + error_report("Please enable icount to use record/replay"); + exit(1); + } /* Timer for snapshotting will be set up here. */ -- cgit v1.1