mg-execute-flight: Save an mro in tmp/

This may be useful for some things.  For example, it will be used in
just a moment.

Signed-off-by: Ian Jackson <ian.jackson@eu.citrix.com>

diff --git a/mg-execute-flight b/mg-execute-flight
index b3cdf4317237a5cc6a06d81e4e927a51c5297d9f..391f48108cda9db700fc21d60929eeac6ddf90f3 100755 (executable)
--- a/mg-execute-flight
+++ b/mg-execute-flight
@@ -81,6 +81,7 @@ echo >&5 "flight $flight reporting"
 
 ./sg-report-flight $basisflightopt \
        --html-dir=$OSSTEST_HTMLPUB_DIR/$flight/ \
+       --machine-readable-output=tmp/$flight.mro \
        $flight >tmp/$flight.report
 
 subject=`sed -n 1p <tmp/$flight.report`