Only copy headers if they've changed.
authorBen Laurie <ben@links.org>
Mon, 4 Mar 2013 16:56:18 +0000 (16:56 +0000)
committerBen Laurie <ben@links.org>
Mon, 4 Mar 2013 16:56:18 +0000 (16:56 +0000)
commit654d227a86618dea258a3a8cfa23866f2f410148
treee49c446914997f85758349e30b641cd5f4accf42
parent2f297fce734aa1ba38836e1a75f65e0a48bfa0c7
Only copy headers if they've changed.
util/copy-if-different.pl [new file with mode: 0755]
util/mk1mf.pl