1 files changed, 5 insertions, 2 deletions
diff --git a/configure b/configure
index f026e218a..fd2d3bf02 100755
--- a/configure
+++ b/configure
@@ -338,11 +338,14 @@ rm -f config.status
     eval vval=\$$v
     echo $v=\"$vval\"
   done
-  sed_opts=`echo $subst_vars | sed -e "s/\\([a-zA-Z_]*\\)/ -e \"s%@\1@%\$\1%g\"/g"`
   subst_files="ghdl.gpr Makefile"
   echo "for f in $subst_files; do"
   echo '  echo "Creating $f"'
-  echo "  sed $sed_opts" '< $srcdir/${f}.in > $f'
+  echo "  sed \\"
+  for v in $subst_vars; do
+      echo "    -e \"s%@$v@%\$$v%g\" \\"
+  done
+  echo '  < $srcdir/${f}.in > $f'
   echo "done"
 } > config.status || \
 {