build: Use ../mes-seed/refresh.sh, ../tinycc-seed/refresh.sh.
authorJan Nieuwenhuizen <janneke@gnu.org>
Thu, 10 May 2018 14:35:49 +0000 (16:35 +0200)
committerJan Nieuwenhuizen <janneke@gnu.org>
Thu, 10 May 2018 14:35:49 +0000 (16:35 +0200)
commita1a5145a1a68bfa4ac1a4b1cd01ee3c2e6639314
tree2608a2ba3a7d8681c220735a147b68e6443c6126
parent62bd70cfb663d56be0d6edd3e672996c16d6d5f3
build: Use ../mes-seed/refresh.sh, ../tinycc-seed/refresh.sh.

* GNUmakefile (seed): Use ../mes-seed/refresh.sh, ../tinycc-seed/refresh.sh.
GNUmakefile
build-aux/build-mes.sh