build: Rebuild after build from seed.
authorJan Nieuwenhuizen <janneke@gnu.org>
Thu, 3 May 2018 07:30:03 +0000 (09:30 +0200)
committerJan Nieuwenhuizen <janneke@gnu.org>
Thu, 3 May 2018 07:30:03 +0000 (09:30 +0200)
commitad88aaa5beae0aa54fbcd3760886d5c60fc849ea
tree99b9935acdd33116c13c3ed485409e91ab2878a1
parent81ed6564cf64e85d9ad7a03ce825c544ec0732d5
build: Rebuild after build from seed.

* build-aux/build-mes.sh: Rebuild after build from seed.
build-aux/build-mes.sh