]> git.wh0rd.org Git - home.git/commitdiff
remote buildbot now supports local patches
authorMike Frysinger <vapier@gentoo.org>
Wed, 4 Apr 2012 17:55:13 +0000 (13:55 -0400)
committerMike Frysinger <vapier@gentoo.org>
Sat, 28 Apr 2012 19:36:46 +0000 (15:36 -0400)
.bin/cros-cbuildbot

index 25d02d9b3b613907e3485770c12920ff0f96fe12..5456f9aca8b045bfe363e06bf574020ece5c871e 100755 (executable)
@@ -19,13 +19,6 @@ vexec() {
 
 cd ~/chromiumos || exit 1
 
-case " $* " in
-*" --remote "*)
-       export GIT_CONFIG=$PWD/.repo/manifests.git/config
-       vexec cbuildbot "$@"
-       ;;
-esac
-
 # cache the sudo timestamp
 sudo echo "" >/dev/null
 
@@ -47,7 +40,7 @@ fi
 
 if [[ $1 == "--noclean" ]] ; then
        shift
-else
+elif [[ " $* " != *" --remote "* ]] ; then
        echo "Cleaning ${d}"
        pushd "${d}" >/dev/null
        clean=(