build: Support make seed for x86_64.
authorJan Nieuwenhuizen <janneke@gnu.org>
Sat, 6 Oct 2018 20:26:07 +0000 (22:26 +0200)
committerJan Nieuwenhuizen <janneke@gnu.org>
Sat, 6 Oct 2018 20:26:07 +0000 (22:26 +0200)
commita238986e4336c5874dd95ea60787acd2b7028b7f
tree8c86869864a423a81dd9bc50689a1939bef71f5d
parentb31d431b5d8881e08f1c2740a4a7d636c20c8450
build: Support make seed for x86_64.

* build-aux/GNUmakefile.in (seed): Support make seed for x86_64.
* build-aux/build-mes.sh[SEED]: Also build src/mes.S.
* build-aux/build-x86_64-mes.sh[SEED]: Also build src/mes.x86_64-mes.S.
build-aux/GNUmakefile.in
build-aux/build-mes.sh
build-aux/build-x86_64-mes.sh
build-aux/build.sh.in