diff options
author | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2018-10-13 11:04:48 +0100 |
---|---|---|
committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2018-10-13 11:33:16 +0100 |
commit | e89cc82116db7648b78941ca028c24d0b5675ae4 (patch) | |
tree | 227be57cf0fd9d170799a503a7874770880412f6 /DEVELOPER-CERTIFICATE | |
parent | 0457c2d771ef6fe6c0883344add9dd4da0c60917 (diff) |
dgit: Reorganise cleaning in build_prep
1. Replace the open-coded $includedirty with the equivalent
building_source_in_playtree(), because the latter is what we actually
care about here.
2. Reformat into if blocks.
3. Introuce and call clean_tree_check (currently a no-op). Now,
writing clean_tree_check will be part of fixing #910705.
No functional change.
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Diffstat (limited to 'DEVELOPER-CERTIFICATE')
0 files changed, 0 insertions, 0 deletions