[PATCH] cogitio: sh != bash

From: Chris Wedgwood <cw@f00f.org>
Date: Jun 5, 2005, 07:45 UTC
Message-ID: <20050605074533.GA18645@taniwha.stupidest.org>

Without this users of dash (or similar?) as /bin/sh will get 'substitution' warnings.

diff --git a/cg-patch b/cg-patch
--- a/cg-patch
+++ b/cg-patch
@@ -128,7 +128,7 @@ wait
 touchfiles="$(git-ls-files --deleted | join -v 2 $gonefile -)"
 [ "$touchfiles" ] && touch $touchfiles
 
-cat $todo | xargs -0 sh -c '
+cat $todo | xargs -0 bash -c '
 while [ "$1" ]; do
 	op="$1"; shift;
 	case "$op" in