From ee27cb933b5794e5c8ae96d86237d3dae56690e8 Mon Sep 17 00:00:00 2001
From: Jan Nieuwenhuizen <janneke@gnu.org>
Date: Mon, 20 May 2002 20:53:06 +0000
Subject: Check for autoconf2.13, and abort if not found.

---
 autogen.sh | 13 +++----------
 1 file changed, 3 insertions(+), 10 deletions(-)

(limited to 'autogen.sh')

diff --git a/autogen.sh b/autogen.sh
index cc6418a5b1..99c8036240 100755
--- a/autogen.sh
+++ b/autogen.sh
@@ -7,19 +7,12 @@
 srcdir=`dirname $0`
 DIE=0
 
-(autoconf --version) < /dev/null > /dev/null 2>&1 || {
-  echo
-  echo "ERROR: You must have \`autoconf' installed to."
-  echo "Download the appropriate package for your distribution,"
-  echo "or get the source tarball at ftp://ftp.gnu.org/pub/gnu/"
-  DIE=1
-}
-
-if test "$DIE" -eq 1; then
+version=`autoconf --version 2>/dev/null | awk '{print $3}'`
+if test "$version" != "2.13"; then
+  echo "ERROR: Please install autoconf 2.13"
   exit 1
 fi
 
-
 if test -z "$*"; then
   echo "WARNING: I am going to run \`configure' with no arguments."
   echo "If you wish to pass any to it, please specify them on the"
-- 
cgit v1.2.3