diff options
Diffstat (limited to 'replay')
-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. */ |