Boris Faure 59feab991b use 'ninja install' instead of 'make install' in error message		2017-11-12 00:14:00 +01:00
..
bin	use 'ninja install' instead of 'make install' in error message	2017-11-12 00:14:00 +01:00