On Aug 11, 2012, at 10:39 AM, Senthil Kumar Selvaraj wrote: > This patch allows cflags set in board config files using > "set_board_info cflags" to be used in the selectors of > dg-skip-if and other dejagnu commands that use the check-flags > proc.
Ok.