Files
gerrit/tools
David Pursehouse cb7f914a20 project.py: always download sources
Instead of downloading the sources optionally, always download them.
This will help to catch problems introduced in the build that prevent
the sources from downloading (see [1] for example).

Keep the --src option but mark it as deprecated.

Add a new --no-src option to explicitly prevent download of sources.

[1] https://gerrit-review.googlesource.com/#/c/74859/

Change-Id: I9b6a9e210f83fe6a5663011dc5c0daeaa2f7fe46
2016-02-24 01:29:58 +00:00
..
2013-09-19 18:29:07 +00:00
2015-12-02 14:07:12 +00:00
2015-06-18 17:10:11 +02:00
2015-11-25 10:10:09 -05:00