build: seed: Oops, copy TCC seed after it's been regenerated.
authorJan Nieuwenhuizen <janneke@gnu.org>
Sun, 12 Aug 2018 08:10:36 +0000 (10:10 +0200)
committerJan Nieuwenhuizen <janneke@gnu.org>
Sun, 12 Aug 2018 08:10:36 +0000 (10:10 +0200)
commit959525330c03027edcd9ffc1a0718a2ddbc27e5f
tree4feeb1ff58c8a31675409459089ef10ca991d4bc
parentde3165fcff30eaa52e3aaa0f7ce28e8b114a7554
build: seed: Oops, copy TCC seed after it's been regenerated.

* build-aux/GNUmakefile.in (seed): Oops, copy TCC seed after it's been
regenerated.
build-aux/GNUmakefile.in