chiark / gitweb /
Add another build option to skip source scanning
authorDaniel Martí <mvdan@mvdan.cc>
Sun, 16 Feb 2014 16:40:54 +0000 (17:40 +0100)
committerDaniel Martí <mvdan@mvdan.cc>
Sun, 16 Feb 2014 16:40:54 +0000 (17:40 +0100)
commit898e4485c2ab696c284917d3fc8fafaa29445197
tree3a7ef975afb46fc408c7d0a4bdfdb9d2a38ec706
parentcb3a08ff4bc502b1d1dda8db30bc6cbbaa832f13
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.
completion/bash-completion
fdroidserver/build.py