From: Johannes Schindelin Date: Sun, 11 Nov 2007 21:40:47 GMT Subject: Re: [PATCH] Use the best available exec path only Message-ID: In-Reply-To: <20071111211732.GA11871@atjola.homenet> Hi, On Sun, 11 Nov 2007, Bj?rn Steinbrink wrote: > > In related news, IMO cmd_path should be made absolute if it is not > > already the case. > > add_path() already takes care of that. Yeah, and cmd_path is not used otherwise. Sorry for the noise. Ciao, Dscho