some fixes for ./all admin-merge-2

[xonotic/xonotic.git] / all

diff --git a/all b/all
index a5c458c974c6fc1acc8695f6dd251331eff16c86..104f96709bf961fbbb58c9299c56a9b49524038a 100755 (executable)
--- a/all
+++ b/all
@@ -105,6 +105,7 @@ yesno()
 {
        yesno=
        while [ x"$yesno" != x"y" -a x"$yesno" != x"n" ]; do
+               eval "$2"
                echo "$1"
                IFS= read -r yesno
        done
@@ -465,6 +466,7 @@ case "$cmd" in
                if $clean; then
                        verbose make $MAKEFLAGS clean
                fi
+               verbose make FTEQCC="$d0/fteqcc/fteqcc.bin" "$@" $MAKEFLAGS clean
                verbose make FTEQCC="$d0/fteqcc/fteqcc.bin" "$@" $MAKEFLAGS
                enter "$d0/darkplaces" verbose
                if $clean; then
@@ -503,6 +505,14 @@ case "$cmd" in
                        fi
                fi
                set -- "darkplaces/darkplaces$client" -nexuiz -customgamename Xonotic -customgamedirname1 data -customgamedirname2 "" -customgamescreenshotname xonotic -customgameuserdirname xonotic "$@"
+
+               # if pulseaudio is running: USE IT
+               if ps -C pulseaudio >/dev/null; then
+                       if ldd /usr/lib/libSDL.so 2>/dev/null | grep pulse >/dev/null; then
+                               export SDL_AUDIODRIVER=pulse
+                       fi
+               fi
+
                if [ -n "$USE_GDB" ]; then
                        set -- gdb --args "$@"
                fi
@@ -616,7 +626,7 @@ case "$cmd" in
                                echo "$ref"
                                if git notes --ref "refs/notes/admin-merge" show "$ref" 2>/dev/null; then
                                        echo "Not merging, already had this one"
-                               elif yesno "Branch \"$ref\" may want to get merged. Do it?" '{ git log HEAD.."$ref"; git diff HEAD.."$ref"; } | less'; then
+                               elif yesno "Branch \"$ref\" may want to get merged. Do it?" '{ git log HEAD.."$ref"; git diff HEAD..."$ref"; } | less'; then
                                        org=`git rev-parse HEAD`
                                        if ! git merge "$ref" 2>&1 | tee "$t"; then
                                                git reset --hard "$org"
@@ -627,14 +637,15 @@ case "$cmd" in
                                                git notes --ref "refs/notes/admin-merge" add -m "Compile failed:
 `cat "$t"`" "$ref"
                                        elif ! yesno "Still merge \"$ref\" into `git symbolic-ref HEAD` of $d? Maybe you want to test first."; then
-                                               git reset --hard HEAD@{1}
+                                               git reset --hard "$org"
                                                git notes --ref "refs/notes/admin-merge" add "$ref"
                                        else
                                                git push origin HEAD
-                                               git push origin :"${ref#refs/remotes/origin/}"
+                                               if yesno "Delete original branch \"$ref\"?"; then
+                                                       git push origin :"${ref#refs/remotes/origin/}"
+                                               fi
                                        fi
                                else
-                                       git reset --hard HEAD@{1}
                                        git notes --ref "refs/notes/admin-merge" add "$ref"
                                fi
                        done