On 01 Mar 2015 22:10, Jiri Gaisler wrote:
> --- a/sim/erc32/sis.h
> +++ b/sim/erc32/sis.h
>
>  extern void	reset_all (void);
>  extern void	sys_reset (void);
>  extern void	sys_halt (void);
> -extern int	bfd_load (char *fname);
>  extern double	get_time (void);

this patch fixes up exec_cmd and that looks fine.  this one change is
unrelated ?
-mike