[PATCH] Add support for gcc as git submodule of another repository.

[Jeff Law]

On 04/30/2018 05:20 PM, Jim Wilson wrote:
> We have some github repos that use git submodule to include other repos,
> including gcc.  When git submodule is used, .git is actually a file not a dir,
> and contains the path to the modules file in the parent repo's .git dir.  This
> patch allows contrib/gcc_update to work in this situation.
> 
> OK?
> 
> Jim
> 
> 	contrib/
> 	* gcc_update: Check for .git as a file.
OK.
jeff