From 2d50434bf757ef78d1514480e51e04770486dbfc Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Mon, 18 Jan 2016 08:01:58 +0100
Subject: Extract BUILD.txt from README.

Adjust configure.
---
 configure | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

(limited to 'configure')

diff --git a/configure b/configure
index 140666d74..e03b97132 100755
--- a/configure
+++ b/configure
@@ -38,12 +38,12 @@ else
   echoc=
 fi
 
-# Read required gcc version from README file
-gcc_version=`grep '^gcc version' $srcdir/README |
+# Read required gcc version from BUILD.txt file
+gcc_version=`grep '^gcc version' $srcdir/BUILD.txt |
  sed -e 's/gcc version \([0-9.]*\) \[.*\]\.$/\1/'`
 
-# Read required llvm version from README file
-llvm_version=`grep '^llvm version' $srcdir/README |
+# Read required llvm version from BUILD.txt file
+llvm_version=`grep '^llvm version' $srcdir/BUILD.txt |
  sed -e 's/llvm version \([0-9.]*\) \[.*\]\.$/\1/'`
 
 # Check $1 is a prefix of $2
-- 
cgit v1.2.3