#!/bin/sh if [ $# -lt 1 ]; then echo "usage: update-rt [starting-number]" exit fi ver=$1 shift let x=1 if [ $# -gt 0 ]; then let x=$1 fi if [ ! -d ".git" ]; then echo "must run in a git directory" exit -1; fi rev="v${ver}" rtrev="${rev}-rt" if [ ! -f ".git/refs/tags/${rev}" ]; then echo "version ${ver} must be tagged already" exit -1; fi if [ ! -f ".git/refs/heads/${rtrev}" ]; then echo "git-branch $rtrev $rev" git-branch $rtrev $rev || exit -1 fi echo "git-checkout -f ${rtrev}" git-checkout -f ${rtrev} || exit -1 echo "git-clean -d" git-clean -d || exit -1 while : ; do t="${ver}-rt$x" rt="${rtrev}$x" let x=$x+1 if [ -f .git/refs/tags/${rt} ]; then echo "skipping $rt" continue fi echo "trying $t" ketchup -w "/usr/bin/wget -q" -q $t || exit 0 echo "git-add" git-add || exit -1 echo "git-commit -a -m $t realtime patch" git-commit -a -m "$t realtime patch" || exit -1 echo "git-tag $rt" git-tag $rt || exit 1 done