From be681d85b0c04a40ffba26e2e2b38ad93cea41cf Mon Sep 17 00:00:00 2001
From: Brian Anderson <banderson@mozilla.com>
Date: Mon, 21 May 2012 14:02:17 -0700
Subject: [PATCH] Support autoconf's named autoconf-2.13

---
 autogen.sh | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/autogen.sh b/autogen.sh
index 5a8f5bac0aa..329456e7adb 100755
--- a/autogen.sh
+++ b/autogen.sh
@@ -12,6 +12,11 @@ then
     AUTOCONF213=autoconf2.13
 fi
 
+if [ ! -z `which autoconf-2.13` ]
+then
+    AUTOCONF213=autoconf-2.13
+fi
+
 if [ -z "$AUTOCONF213" ]
 then
     echo "I need autoconf 2.13"