make rebuilds the same projects

[reznikmm]

Build takes too long, because make builds the same libraries several times. I guess it's because libraries and binaries project have different options or configuration pragmas.

$ make config all check > ~/aaa.log 2>&1

$ grep "link library.* libleague" ~/aaa.log  
   [link library] libleague-13.1.so
   [link library] libleague-13.1.so
   [link library] libleague-13.1.so
   [link library] libleague-13.1.so
   [link library] libleague-13.1.so
   [link library] libleague-13.1.so