build: configure: Oops, substitute @prefix@.
authorJan Nieuwenhuizen <janneke@gnu.org>
Thu, 9 Aug 2018 06:58:20 +0000 (08:58 +0200)
committerJan Nieuwenhuizen <janneke@gnu.org>
Thu, 9 Aug 2018 06:58:20 +0000 (08:58 +0200)
commitfa3cd8b9a5638e2f7980ffcf34e08840224f71f0
treefb5269acb83071199b56771363d5d973f42daff6
parent1a970bc78d37b503722735f31c685acc3e2dc103
build: configure: Oops, substitute @prefix@.

* build-aux/pre-inst-env.in (MES_PREFIX): Respect pre-set value.
* configure (main): Oops, substitute @prefix@.
* configure.sh (subst): Likewise.
build-aux/pre-inst-env.in
configure
configure.sh