Signed-off-by: Ian Jackson <ian.jackson@eu.citrix.com>
---
 README.dev | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/README.dev b/README.dev
index e32889b7..2cbca109 100644
--- a/README.dev
+++ b/README.dev
@@ -115,7 +115,7 @@ and boot Xen:
  $ hn=mudcake
  $ flight=`./make-hosts-flight play xen-unstable blessed-commission-$hn commission-$hn $basis`; echo $flight
  113155
- $ ./mg-execute-flight -Bcommission-$hn -Eian.jackson@citrix.com $flight
+ $ ./mg-execute-flight -P -Bcommission-$hn -Eian.jackson@citrix.com $flight
 
 This will email the specified address.  The examination should pass,
 completely.  If it does not then you may need to change the BIOS
@@ -132,7 +132,7 @@ If that works, a more thorough test:
 
  $ basis=113124   # pick last good xen-unstable or osstest flight
  $ flight=`./cs-adjust-flight new:commission-$hn copy $basis`; echo $flight
- $ ./mg-execute-flight -Bcommission-$hn -Eian.jackson@citrix.com -f$basis $flight
+ $ ./mg-execute-flight -P -Bcommission-$hn -Eian.jackson@citrix.com -f$basis $flight
 
 This should show no regressions.  (Or, at least, none that are a cause
 for concern.)
-- 
2.11.0