diff options
| author | Pavel Dovgalyuk <Pavel.Dovgaluk@ispras.ru> | 2015-09-17 19:25:18 +0300 |
|---|---|---|
| committer | Paolo Bonzini <pbonzini@redhat.com> | 2015-11-06 10:16:03 +0100 |
| commit | 4c27b859722089e0270fd4f41b4b3c63b6647439 (patch) | |
| tree | faeb630d2e9d7fdb6faf350be41be1ee72fb627d /replay/replay.c | |
| parent | 0194749ac4131e1bed8e166c5d5cf541678ef204 (diff) | |
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 <pavel.dovgaluk@ispras.ru>
Message-Id: <20150917162518.8676.70792.stgit@PASHA-ISP.def.inno>
Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>
Signed-off-by: Pavel Dovgalyuk <Pavel.Dovgaluk@ispras.ru>
Diffstat (limited to 'replay/replay.c')
| -rw-r--r-- | replay/replay.c | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/replay/replay.c b/replay/replay.c index 1373346cc3..0d33e82c95 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. */ |