diff --git a/src/configure b/src/configure index 6d8469aab..4d0009152 100755 --- a/src/configure +++ b/src/configure @@ -1224,7 +1224,7 @@ echo "***" exit 2; fi -ECL_VERSION=0.6 +ECL_VERSION=0.7 ac_aux_dir=