Module: ppl/ppl Branch: ppl-0_11-branch Commit: b68f8ff2bde57db64ec4439d8a2592da351742e4 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b68f8ff2bde57... Author: Roberto Bagnara <bagnara@cs.unipr.it> Date: Thu Aug 5 09:08:44 2010 +0200 Avoid using overlapping regular expressions. --- configure.ac | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/configure.ac b/configure.ac index 779209e..6dd13ad 100644 --- a/configure.ac +++ b/configure.ac @@ -1274,7 +1274,7 @@ xno | xnone) enableval=${available_instantiations} fi # Avoid extra blanks. - required_instantiations=`echo "${enableval}" | sed -e 's/[[ ]][[ ]]*/ /g' -e 's/[[ ]]*\([[@<>,]]\)[[ ]]*/\1/g' -e 's/>>/> >/g' -e 's/^[[ ]]//g' -e 's/[[ ]]$//g'` + required_instantiations=`echo "${enableval}" | sed -e 's/[[ ]][[ ]]*/ /g' -e 's/[[ ]]*\([[@<>,]]\)/\1/g' -e 's/\([[@<>,]]\)[[ ]]*/\1/g' -e 's/>>/> >/g' -e 's/^[[ ]]//g' -e 's/[[ ]]$//g'` # Check the specified instantiations for validity. ac_save_CPPFLAGS="$CPPFLAGS" CPPFLAGS="$CPPFLAGS -I${srcdir}"