build: fix arm build after v8 upgrade
authorBen Noordhuis <info@bnoordhuis.nl>
Fri, 19 Apr 2013 12:54:21 +0000 (14:54 +0200)
committerBen Noordhuis <info@bnoordhuis.nl>
Fri, 19 Apr 2013 12:54:37 +0000 (14:54 +0200)
commit223607c90f80441284482bf4480a74d1fcf5edce
treecb02f9dfaeac72721de596a6eace265b2047f4ba
parent0bccb341c41eb6680a03acf9fee5fb3371de447a
build: fix arm build after v8 upgrade

V8 was upgraded to 3.18 in commit 9f68226. The knobs that control the
ARM build have changed in a number of ways. This commit patches the
configure script to reflect that. Should fix the Raspberry Pi build.

Fixes #5329.
configure