Module: ppl/ppl Branch: master 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}"