# HG changeset patch
# User Karl Berry <karl@freefriends.org>
# Date 1093955857 0
# Node ID 9d0a7ffaf1c0033bac5ca1b916e615e548a8b5f2
# Parent  f04522ded6aa5a6b4333be7b4c16e7dfb4ba0d15
auto

diff --git a/config/config.guess b/config/config.guess
--- a/config/config.guess
+++ b/config/config.guess
@@ -825,7 +825,7 @@
 	echo cris-axis-linux-gnu
 	exit 0 ;;
     crisv32:Linux:*:*)
-    	echo crisv32-axis-linux-gnu
+	echo crisv32-axis-linux-gnu
 	exit 0 ;;
     ia64:Linux:*:*)
 	echo ${UNAME_MACHINE}-unknown-linux-gnu