Use git fetch instead of pull. Pull doesn't always get the tags. Die if checkout failed

2020-09-16 15:23:47 -04:00 · 2020-09-16 15:23:47 -04:00 · a39adbd2d8
parent 70bca3b18b
commit a39adbd2d8
1 changed files with 6 additions and 2 deletions
--- a/utils/do_debian_package.sh
+++ b/utils/do_debian_package.sh
@ -156,10 +156,14 @@ if [ ! -d "${GITHUB_FORK}_zoneminder_release" ]; then
  if [ -d "${GITHUB_FORK}_ZoneMinder.git" ]; then
    echo "Using local clone ${GITHUB_FORK}_ZoneMinder.git to pull from."
    cd "${GITHUB_FORK}_ZoneMinder.git"
-    echo "git pull..."
-    git pull
+    echo "git fetch..."
+    git fetch
    echo "git checkout $BRANCH"
    git checkout $BRANCH
+    if [ $? -ne 0 ]; then
+      echo "Failed to switch to branch."
+      exit 1;
+    fi;
    echo "git pull..."
    git pull
    cd ../