[PATCH 1 of 4] config: don't read the same config file twice

[Pierre-Yves David]

On 09/24/2014 06:33 PM, Mads Kiilerich wrote:
> # HG changeset patch
> # User Mads Kiilerich <madski at unity3d.com>
> # Date 1409859395 -7200
> #      Thu Sep 04 21:36:35 2014 +0200
> # Node ID e04d746df4b9a7c5ef32b0bf70284e3dd8402791
> # Parent  fa3181323c0aa9b2d2c2f81a7d68d57bd3a7a515
> config: don't read the same config file twice

Ok, I had a deeper look into this and this patch seems obviously 
correct. However, could we get a simpler and more robust version of this 
by checking is a path is already present before appending it.

How complicated would that be?

Sorry for the delay,

-- 
Pierre-Yves David