zoekt-git-index: "-submodules" flag not picked up

[Gustaf Lundh]

The help states:

-submodules
    	if set to false, do not recurse into submodules (default true)

No -submodules flag:

$GOPATH/bin/zoekt-git-index -allow_missing_branches -branches 'stable-*' -prefix "" .
2017/05/04 11:10:00 indexGitRepo(/path/gerrit/gerrit.git): submodule plugins/singleusergroup: Failed to resolve path '<server>/gerrit/plugins/singleusergroup.git': No such file or directory

-submodules=false yields the very same result:

$GOPATH/bin/zoekt-git-index -submodules=false -allow_missing_branches -branches 'stable-*' -prefix "" .
2017/05/04 11:10:00 indexGitRepo(/path/gerrit/gerrit.git): submodule plugins/singleusergroup: Failed to resolve path '<server>/gerrit/plugins/singleusergroup.git': No such file or directory

[Gustaf Lundh]

As a side note, Missing submodules should probably not stop the indexing of the super project.

[Han-Wen Nienhuys]

can you confirm that it actually exits with error and produces no index? IIRC, it prints the message for informational purposes.

[Gustaf Lundh]

$ rm -rf ~/.zoekt
$ $GOPATH/bin/zoekt-git-index -submodules=false -branches 'stable-*' .
2017/05/04 11:55:49 indexGitRepo(/path/gerrit/gerrit.git): submodule plugins/singleusergroup: Failed to resolve path '<server>/gerrit/plugins/singleusergroup.git': No such file or directory
$ ls -altr ~/.zoekt
ls: cannot access /home/gustaflh/.zoekt: No such file or directory