From d1f4afeee3d9d788155a9b028a3aa1832d9882fb Mon Sep 17 00:00:00 2001
From: Johannes Schickel <lordhoto@scummvm.org>
Date: Mon, 15 Feb 2016 23:32:06 +0100
Subject: [PATCH] CONFIGURE: Update host alias for raspberrypi for new
 toolchain.

On request of Vanfanel.
---
 configure | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/configure b/configure
index bce9dc8f9b3d..9254c83f9cb4 100755
--- a/configure
+++ b/configure
@@ -1318,7 +1318,7 @@ raspberrypi)
 	_host_cpu=arm
 	# This tuple is the one used by the official Rpi toolchain.
 	# It may change in the future.
-	_host_alias=bcm2708hardfp
+	_host_alias=arm-linux-gnueabihf
 	;;
 caanoo)
 	_host_os=gph-linux