Eric Blake wrote:
> +  -Wno-*) gl_positive=`echo ".$gl_positive" | sed 's/^.//; s/^-Wno-/-W/'`;;

This should use expr, e.g.,

 gl_positive=-W`expr "X$gl_positive" : 'X-Wno-\(.)\)'`

Reply via email to