Re: [PATCH] GIT-VERSION-GEN: support non-standard $GIT_DIR path
- From
Junio C Hamano <gitster@pobox.com>
- Date
- Jun 17, 2013, 20:06 UTC
- Message-ID
- <7v38sgcxjp.fsf@alter.siamese.dyndns.org>
- In-Reply-To
- <20130615230108.GA21005@kaarsemaker.net>
Dennis Kaarsemaker <dennis@kaarsemaker.net> writes:
> I'm doing daily builds of git, using many workers and a shared git.git, > with per-worker checkouts
OK, so GIT_DIR is explicitly specified in these "workers".
Makes sense.