diff options
Diffstat (limited to 'jjb')
| -rwxr-xr-x | jjb/armband/armband-deploy.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/jjb/armband/armband-deploy.sh b/jjb/armband/armband-deploy.sh index 222a388e6..d6a78e2d6 100755 --- a/jjb/armband/armband-deploy.sh +++ b/jjb/armband/armband-deploy.sh @@ -36,7 +36,7 @@ LAB_NAME=${NODE_NAME/-*} POD_NAME=${NODE_NAME/*-} # we currently support enea -if [[ ! "$LAB_NAME" =~ "enea" ]]; then +if [[ ! $LAB_NAME =~ (arm|enea) ]]; then echo "Unsupported/unidentified lab $LAB_NAME. Cannot continue!" exit 1 else |