'remove' is not recognized is a slightly older git (1.7.9.5) on a slightly older distro. Use 'rm' instead, which also work on the git version listing 'remove' in git remote help (1.8.3.1).
Signed-off-by: Damien Lespiau <[email protected]> --- qf | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/qf b/qf index 67a3ba6..adf95ca 100755 --- a/qf +++ b/qf @@ -125,7 +125,7 @@ function repo_init # setup for quilt patch repo git clone --local --no-checkout -- . patches cd patches - git remote remove origin + git remote rm origin # include remotes and branches and all that from parent repo git config include.path ../../.git/config -- 1.8.3.1 _______________________________________________ Intel-gfx mailing list [email protected] http://lists.freedesktop.org/mailman/listinfo/intel-gfx
