From 65c603be26fb12c109d4559b8436f4a7d086fee2 Mon Sep 17 00:00:00 2001
From: Barni S <barni@google.com>
Date: Wed, 24 Jul 2024 19:17:58 -0400
Subject: [PATCH] fix bash script error for get_appteam

---
 experiments/compositions/samples/AppTeam/get_appteam.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/experiments/compositions/samples/AppTeam/get_appteam.sh b/experiments/compositions/samples/AppTeam/get_appteam.sh
index c2f82a6c7f..51f8db6589 100755
--- a/experiments/compositions/samples/AppTeam/get_appteam.sh
+++ b/experiments/compositions/samples/AppTeam/get_appteam.sh
@@ -17,7 +17,7 @@
 scriptpath=$(realpath $0)
 base=$(dirname $scriptpath)
 
-if [[ $# -lte 1 ]];
+if [[ $# -lt 1 ]];
 then
   echo "usage: ./get_appteam.sh <project>"
   exit 1