diff --git a/Tools/hitl_run.sh b/Tools/hitl_run.sh new file mode 100755 index 00000000000..e624a159085 --- /dev/null +++ b/Tools/hitl_run.sh @@ -0,0 +1,155 @@ +#!/usr/bin/env bash + +set -e + +if [ "$1" == "-h" ] || [ "$1" == "--help" ] +then + echo "Usage: $0 [-n ] [-m ] [-w ] [-s