diff options
author | 2018-04-20 07:26:52 -0700 | |
---|---|---|
committer | 2018-04-20 07:28:11 -0700 | |
commit | 97132c0925031e1b1fb8e9e5dde2233daef9d97b (patch) | |
tree | dfc8b322328f0fd338cb6aac6701d05fa3f65d36 /site | |
parent | ecd1408cf7c5b7a9827d273aad609341bb1ec522 (diff) |
Allow repository rules to return a value
...in preparation of the change towards resolved workspaces,
where a source-like rule is supposed to return the information
needed to make it reproducible. At the moment, the value is
ignored (it is just printed back to the user), but it allows
rule authors to prepare for the upcoming change.
RELNOTES: repository rules are no longer restricted to return None.
Change-Id: I1b3bdc7b02a957f00c9846bcb0ee6b7e09343d72
PiperOrigin-RevId: 193664946
Diffstat (limited to 'site')
0 files changed, 0 insertions, 0 deletions