if [ -n "$CFLAGS" ]
then
if [ -z "`echo $CFLAGS | grep '[-]g'`" ]
other_cflags="${CFLAGS}"
other_cflags="${CFLAGS} -s"
else
fi
other_cflags="-s"
other_cflags=""