chiark / gitweb /
dgit: remove dead $need_split_build_invocation code path
authorSean Whitton <spwhitton@spwhitton.name>
Fri, 27 Jul 2018 02:08:57 +0000 (10:08 +0800)
committerSean Whitton <spwhitton@spwhitton.name>
Sat, 28 Jul 2018 04:12:05 +0000 (12:12 +0800)
commit0fff95723de605e7239934f05b506a01bfec9ec9
treedb00a84cffbfaf55473182c3ae5abc827541040e
parentdad4b4972a5716cbafb9b9347cec5d7e90a55b80
dgit: remove dead $need_split_build_invocation code path

No functional change.

Signed-off-by: Sean Whitton <spwhitton@spwhitton.name>
dgit