Merge pull request #4672 from alexcrichton/linearmap-len-fix

Fix the len() method on LinearMap during popping

diff --git a/configure b/configure
index f466f0fa3d7bc34de864473979083387918cdc77..4cbd4eb1832790ce26345460a16d6c28317c8517 100755 (executable)
--- a/configure
+++ b/configure
@@ -516,7 +516,7 @@ then
                       | cut -d ' ' -f 2)
 
     case $CFG_CLANG_VERSION in
-        (3.0svn | 3.0 | 3.1 | 3.2 | 4.0 | 4.1)
+        (3.0svn | 3.0 | 3.1* | 3.2* | 4.0* | 4.1*)
         step_msg "found ok version of CLANG: $CFG_CLANG_VERSION"
         CFG_C_COMPILER="clang"
         ;;