OK to push.
Chris
On 21/7/2023 8:05 am, Muhammad Sulthan Mazaya wrote:
> Change file name based on Chris's review here
> https://lists.rtems.org/pipermail/devel/2023-July/075802.html
>
> Plus, fix `cp` so that it also include dotfiles. Because without the
> the `.renode-root` file the command
Change file name based on Chris's review here
https://lists.rtems.org/pipermail/devel/2023-July/075802.html
Plus, fix `cp` so that it also include dotfiles. Because without the
the `.renode-root` file the command won't work.
---
bare/config/devel/renode-1.13.3-1.cfg | 11 ++
