sync-all get failing

[Thorkil Naur]

Hello Simon,

On Sat, Aug 03, 2013 at 03:04:02AM +0000, Simon Peyton-Jones wrote:
> ...
> == ghc-tarballs: running git config --local core.ignorecase true
> error: unknown option `local'
> usage: git config [options]
> 
> Config file location
>     --global              use global config file
>     --system              use system config file
>     -f, --file <FILE>     use given config file
> 
> Action
> ...

On my

  $ uname -a
  Linux tn28 3.2.0-49-generic #75-Ubuntu SMP Tue Jun 18 17:40:13 UTC 2013 i686 i686 i386 GNU/Linux

with

  $ git --version
  git version 1.7.9.5

the command

  $ git config --bogusoption 2>&1 | head

reports:

  error: unknown option `bogusoption'
  usage: git config [options]
  
  Config file location
      --global              use global config file
      --system              use system config file
      --local               use repository config file
      -f, --file <file>     use given config file
  
  Action
  $ 

I don't know git at all, but this seems to indicate that your git
installation needs to be looked into: Perhaps --local is a recently
added git option.

> ...

Best regards
Thorkil