[PATCH] Allow dg-skip-if to use compiler flags specified through set_board_info cflags

[Mike Stump]

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.