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-\(.)\)'`
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-\(.)\)'`