flags which will be included alongside other $CFLAGS. So, I don't think anything special should be needed there. - Naveen