From f895d892274b241ef334391490ad41023920200b 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?= <ciro.santilli@gmail.com>
Date: Thu, 14 Nov 2019 00:00:00 +0000
Subject: [PATCH] qemu-rr: remove ./run -r and -R record and replay short
 options

In line with the "be very conservative with short options" philosophy.
---
 qemu-rr | 4 ++--
 run     | 2 --
 2 files changed, 2 insertions(+), 4 deletions(-)

diff --git a/qemu-rr b/qemu-rr
index a55975b..163dc29 100755
--- a/qemu-rr
+++ b/qemu-rr
@@ -1,4 +1,4 @@
 #!/usr/bin/env bash
 set -eu
-./run -r "$@"
-./run -R "$@"
+./run --record "$@"
+./run --replay "$@"
diff --git a/run b/run
index e9f19c1..d839468 100755
--- a/run
+++ b/run
@@ -220,13 +220,11 @@ Setup a kernel init parameter that makes the emulator quit immediately after boo
 '''
         )
         self.add_argument(
-            '-R',
             '--replay',
             default=False,
             help='Replay a QEMU run record deterministically'
         )
         self.add_argument(
-            '-r',
             '--record',
             default=False,
             help='Record a QEMU run record for later replay with `-R`'