Pass IPMI_PORT in so that it works in qemu
This allows a different port to be used for running IPMI commands.
Change-Id: I1f39f7e76e044005ecf7c880f04fe24091b5ca25
Signed-off-by: Matt Fischer <matthew.fischer@hpe.com>
diff --git a/tools/generate_argumentfile.sh b/tools/generate_argumentfile.sh
index 4f1e60c..506de3d 100755
--- a/tools/generate_argumentfile.sh
+++ b/tools/generate_argumentfile.sh
@@ -17,6 +17,7 @@
echo "--variable SSH_PORT:$SSH_PORT" >> $ARG_FILE
echo "--variable HTTPS_PORT:$HTTPS_PORT" >> $ARG_FILE
echo "--variable PNOR_IMAGE_PATH:$PNOR_IMAGE_PATH" >> $ARG_FILE
+echo "--variable IPMI_PORT:$IPMI_PORT" >> $ARG_FILE
echo "--variable IPMI_COMMAND:$IPMI_COMMAND" >> $ARG_FILE
echo "--variable IPMI_CIPHER_LEVEL:$IPMI_CIPHER_LEVEL" >> $ARG_FILE
echo "--variable ITERATION:$ITERATION" >> $ARG_FILE