fix configure's generation of settings file on ARM platform
authorKarel Gardas <karel.gardas@centrumcz>
Wed, 2 Nov 2011 17:29:39 +0000 (10:29 -0700)
committerDavid Terei <davidterei@gmail.com>
Wed, 2 Nov 2011 17:29:39 +0000 (10:29 -0700)
commit2bc8a7b70fd226face652ecca6a3e9877abc3917
treea9371cf6b143b92c2d9a067169fe014d488bf93c
parent515728a3d374751bfb02e5b4bbd383e3f99eb630
fix configure's generation of settings file on ARM platform

This patch fixes generation of settings file on ARM platform
by configure script. This fixes build issue on ARM platform
where ghc-stage1 compiler is not able to read the target arch
value and due to this issue build fails with:

ghc-cabal: Failed to read "target arch" value "ArchARM ARMv7 [VFPv3, NEON]"

Signed-off-by: David Terei <davidterei@gmail.com>
aclocal.m4