RE: Return value of ${board}_reboot proc

[Anton Kolesov]

Hi Ben,

Updated patch attached. Do I need to regenerate dejagnu.texi? I don't know how 
do this from Docbook.

Anton Kolesov

0001-Change-standard_reboot-return-value-V2.patch
Description: 0001-Change-standard_reboot-return-value-V2.patch

_______________________________________________
DejaGnu mailing list
DejaGnu@gnu.org
https://lists.gnu.org/mailman/listinfo/dejagnu