diff --git a/src/shell/lisa_shell b/src/shell/lisa_shell index 17d956ffcefa36cb141c7204bbfa7edcaa9b0539..08e0ab7e98f436291a9f3ffb2f0838a86eb5a58e 100755 --- a/src/shell/lisa_shell +++ b/src/shell/lisa_shell @@ -114,7 +114,7 @@ if [ $ret -ne 0 ]; then fi curr_commit=$(git rev-parse HEAD) -remote_name=$(git remote -v | grep ARM-software/lisa.git | grep -m 1 fetch | awk '{print $1}') +remote_name=$(git remote -v | grep ARM-software/lisa | grep -m 1 fetch | awk '{print $1}') git merge-base --is-ancestor $curr_commit $remote_name/master ret=$? if [ $ret -ne 0 ]; then