Merge: Makefile: initial make use --semi-global
authorJean Privat <jean@pryen.org>
Fri, 6 Feb 2015 01:14:36 +0000 (08:14 +0700)
committerJean Privat <jean@pryen.org>
Fri, 6 Feb 2015 01:14:36 +0000 (08:14 +0700)
The produced tools in bin/ should be faster to use then.

Pull-Request: #1147
Reviewed-by: Alexandre Terrasa <alexandre@moz-code.org>


Trivial merge