build: make seed: Update mescc-tools-seed too.
authorJan Nieuwenhuizen <janneke@gnu.org>
Sat, 16 Jun 2018 04:37:20 +0000 (06:37 +0200)
committerJan Nieuwenhuizen <janneke@gnu.org>
Sat, 16 Jun 2018 04:37:20 +0000 (06:37 +0200)
commitd8e6046453c1fbd8cd6ed7928e700ad891a57851
tree503b30557fb24e6fed8f58f43f6c82f695f431b9
parent4d90fb14757575f7955b86f5920aa2c4f41450a5
build: make seed: Update mescc-tools-seed too.
GNUmakefile
configure