repos_urls="
. | | master |
data/xonotic-data.pk3dir | | master |
-data/xonotic-maps.pk3dir | | master |
data/xonotic-music.pk3dir | | master |
data/xonotic-nexcompat.pk3dir | | master | no
-mediasource | | master | no
darkplaces | | div0-stable | svn
-fteqcc | git://github.com/Blub/qclib.git | master |
-div0-gittools | | master | no
netradiant | | master |
+div0-gittools | | master | no
+data/xonotic-maps.pk3dir | | master |
+mediasource | | master | no
+fteqcc | git://github.com/Blub/qclib.git | master |
"
# todo: in darkplaces, change repobranch to div0-stable
if [ -n "$USE_GDB" ]; then
set -- gdb --args "$@"
+ elif which catchsegv >/dev/null 2>&1; then
+ set -- catchsegv "$@"
fi
"$@"
;;
GIT_NOTES_REF=refs/notes/admin-merge git notes edit -m "Merge failed:$LF`cat "$t"`" "$ref"
reportdo4 cat "$t"
reportecho4 "--> merge failed"
- elif ! "$SELF" compile -n 2>&1 | tee "$t"; then
+ elif ! "$SELF" compile 2>&1 | tee "$t"; then
git reset --hard "$org"
GIT_NOTES_REF=refs/notes/admin-merge git notes edit -m "Compile failed:$LF`cat "$t"`" "$ref"
reportdo4 cat "$t"
if $gotomaster; then
if $fetchupstream; then
verbose git fetch origin
+ verbose git remote prune origin
fi
verbose git checkout -f "`repobranch "$d"`"
verbose git reset --hard origin/"`repobranch "$d"`"
upstream="$rem/${bra#refs/heads/}"
if $fetchupstream; then
verbose git fetch "$rem"
+ verbose git remote prune "$rem"
fi
if ! git rev-parse "$upstream" >/dev/null 2>&1; then
upstream="origin/`repobranch "$d"`"