try to handle the case if the branch has been remotely deleted in "push"

[xonotic/xonotic.git] / all

diff --git a/all b/all
index 15a98b79b908adf03a2fdb14155ec56ce402215d..09292ee0d19a0cf22d8e25041925523fa6247814 100755 (executable)
--- a/all
+++ b/all
@@ -331,7 +331,7 @@ case "$cmd" in
                                fi
                        fi
                        rem=`git config "branch.$r.remote" || echo origin`
-                       if git log "$rem/$r".."$r" | grep .; then
+                       if { git log "$rem/$r".."$r" || git log origin/master.."$r"; } | grep .; then
                                a=
                                while [ x"$a" != x"y" -a x"$a" != x"n" ]; do
                                        echo "Push \"$r\" in $dv?"
@@ -391,6 +391,7 @@ case "$cmd" in
        run)
                if [ -n "$WE_HATE_OUR_USERS" ]; then
                        client=
+                       export PATH="$d0/misc/buildfiles/w32:$PATH"
                else
                        client=-sdl
                fi