qemu-rr: remove ./run -r and -R record and replay short options

In line with the "be very conservative with short options" philosophy.
This commit is contained in:
Ciro Santilli 六四事件 法轮功
2019-11-14 00:00:00 +00:00
parent 2b0a5724a7
commit f895d89227
2 changed files with 2 additions and 4 deletions

View File

@@ -1,4 +1,4 @@
#!/usr/bin/env bash #!/usr/bin/env bash
set -eu set -eu
./run -r "$@" ./run --record "$@"
./run -R "$@" ./run --replay "$@"

2
run
View File

@@ -220,13 +220,11 @@ Setup a kernel init parameter that makes the emulator quit immediately after boo
''' '''
) )
self.add_argument( self.add_argument(
'-R',
'--replay', '--replay',
default=False, default=False,
help='Replay a QEMU run record deterministically' help='Replay a QEMU run record deterministically'
) )
self.add_argument( self.add_argument(
'-r',
'--record', '--record',
default=False, default=False,
help='Record a QEMU run record for later replay with `-R`' help='Record a QEMU run record for later replay with `-R`'