1diff --git a/src/configure b/src/configure
2index 1186c6d12..4ad355e64 100755
3--- a/src/configure
4+++ b/src/configure
5@@ -1045,9 +1045,6 @@ echo "AS = $AS" >> kaldi.mk
6 echo "RANLIB = $RANLIB" >> kaldi.mk
7 echo >> kaldi.mk
8
9-echo "Checking compiler $CXX ..."
10-check_compiler $CXX
11-
12 echo "# Base configuration" >> kaldi.mk
13 echo >> kaldi.mk
14 if $dynamic_kaldi ; then
15@@ -1066,11 +1063,6 @@ if [ ! -f $FSTROOT/include/fst/fst.h ]; then
16 failure "Could not find file $FSTROOT/include/fst/fst.h:
17 you may not have installed OpenFst. See ../tools/INSTALL"
18 fi
19-OPENFST_VER=${OPENFST_VER:-$(grep 'PACKAGE_VERSION' $FSTROOT/Makefile | sed -e 's:.*= ::')}
20-OPENFST_VER_NUM=$(echo $OPENFST_VER | sed 's/\./ /g' | xargs printf "%d%02d%02d")
21-if [ $OPENFST_VER_NUM -lt 10600 ]; then
22- failure "OpenFst-$OPENFST_VER is not supported. You need OpenFst >= 1.6.0.)"
23-fi
24 echo "OPENFSTINC = $FSTROOT/include" >> kaldi.mk
25 if $static_fst ; then
26 OPENFSTLIBS="$FSTROOT/lib/libfst.a"