From: Rusty Russell <rusty@rustcorp.com.au>
Date: Wed, 16 Mar 2011 04:22:21 +0000 (+1030)
Subject: tools: actually add non-source files to other_files in manifest
X-Git-Url: http://git.ozlabs.org/?p=ccan;a=commitdiff_plain;h=4fc9ee3670ea2ada55984e996e8563f9dc2ed199;hp=4fc9ee3670ea2ada55984e996e8563f9dc2ed199;ds=sidebyside

tools: actually add non-source files to other_files in manifest

We don't use it for the moment, but Brad Hards noted that assigning to
dest ten continuing was pointless, revealing this bug.
---