On Tue, Nov 27, 2018 at 06:53:17PM -0600, Jacob Bachmeyer wrote: > As we see, set_board_info only works if the specified /entry/ has not > already been defined.
That is consistent with the manual: @node set_board_info procedure, [...] This checks if @code{board_info} array's field @emph{entry} has been set already and if not, then sets it to @emph{value}. Rob, I never understood why this was so. Why not just override board settings? Perhaps that explains why I have seen DejaGnu baseboard definitions that modify the board_info array directly rather than go via proc set_board_info. Cheers, Ben _______________________________________________ DejaGnu mailing list DejaGnu@gnu.org https://lists.gnu.org/mailman/listinfo/dejagnu