Daniel Martí 898e4485c2 Add another build option to skip source scanning ... It can be very slow on large source code dirs, and if one is trying to get an application building and the scan already succeeded once, running it again and again is a waste of time.		2014-02-16 17:40:54 +01:00
..
bash-completion	Add another build option to skip source scanning	2014-02-16 17:40:54 +01:00