mg-repro-setup: Provide useful info for allocation system

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

diff --git a/mg-repro-setup b/mg-repro-setup
index c673cb6048d2e2a6732a0cf40ac987256a538836..5a64b1a9c7dd6924de62f7c219fa39ddb23d5f5b 100755 (executable)
--- a/mg-repro-setup
+++ b/mg-repro-setup
@@ -169,6 +169,7 @@ if [ "${alloc_idents[*]}" ]; then
        progress "allocating ${alloc_idents[*]} ..."
        alloc_output=tmp/$flight.allocations
        ./mg-allocate --stdout-output >$alloc_output $duration 2>&3 \
+               --info-base="[repro] $flight.$job $testid" \
                "${alloc_specs[@]}"
        exec <$alloc_output
        progressf "allocated"