diff options
| -rwxr-xr-x | easy_e17.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/easy_e17.sh b/easy_e17.sh index 74f576e..2e96e73 100755 --- a/easy_e17.sh +++ b/easy_e17.sh @@ -818,7 +818,7 @@ function git_fetch () set_title "Updating sources in '$src_path' ..." echo "- updating sources in '$src_path' ..." cd $src_path - git checkout $git_branch || exit 1 + git checkout $git_branch >/dev/null || exit 1 if [ $make_only == 0 ]; then echo "- checkout modified files" git status -s | grep -e '^ M' | cut -d " " -f 3 | xargs git checkout 2>/dev/null |