>>>>> "Simon" == Simon Marchi <simon.marchi@polymtl.ca> writes: Simon> ADD_DEPS is defined nowhere, so I presume it's not useful. If I'm wrong Simon> and this is actually used, there should be a comment explaining where it Simon> comes from. git grep shows no other hits, so I agree it's unused. Tom