From 52ef3c3315cfa79ff9c1f20695d5ab78a10165d1 Mon Sep 17 00:00:00 2001
From: "Bobby R. Bruce" <bbruce@ucdavis.edu>
Date: Mon, 12 Jun 2023 12:17:47 -0700
Subject: [PATCH] util: '-eq' -> '-ge' for if in vm_manager.sh

A small nit-pick change that ensures that cases where the number of
arguments being >1 does not result in the argument checking being
skipped (NOTE: arguments after the first are never processed and are
ignored).

Change-Id: If7e9c16c2c3581ea95ed888586736618d1ae5f5f
Reviewed-on: https://gem5-review.googlesource.com/c/public/gem5/+/71499
Reviewed-by: Jason Lowe-Power <power.jg@gmail.com>
Maintainer: Jason Lowe-Power <power.jg@gmail.com>
Reviewed-by: Daniel Carvalho <odanrc@yahoo.com.br>
Tested-by: kokoro <noreply+kokoro@google.com>
---
 util/github-runners-vagrant/vm_manager.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/util/github-runners-vagrant/vm_manager.sh b/util/github-runners-vagrant/vm_manager.sh
index 1cae8d2686..0e2f4b747f 100755
--- a/util/github-runners-vagrant/vm_manager.sh
+++ b/util/github-runners-vagrant/vm_manager.sh
@@ -9,7 +9,7 @@ SCRIPT_DIR=$( cd -- "$( dirname -- "${BASH_SOURCE[0]}" )" &> /dev/null && pwd )
 export VAGRANT_HOME=${SCRIPT_DIR}
 
 param="up"
-if [[ $# -eq 1 ]]; then
+if [[ $# -ge 1 ]]; then
     param=$1
     if [[ "${param}" != "destroy" ]]; then
         echo "Only valid parameter is 'destroy', to destroy all VMs"