[PATCH] qemu-couverture-git-1.cfg: Use an identifiable name for the download file.

[Chris Johns]

Looks good, please push.

On 14/12/19 1:58 am, Joel Sherrill wrote:
> closes #3808.
> ---
>  bare/config/devel/qemu-couverture-git-1.cfg | 4 ++--
>  1 file changed, 2 insertions(+), 2 deletions(-)
> 
> diff --git a/bare/config/devel/qemu-couverture-git-1.cfg b/bare/config/devel/qemu-couverture-git-1.cfg
> index fc8daab..4ca79f8 100644
> --- a/bare/config/devel/qemu-couverture-git-1.cfg
> +++ b/bare/config/devel/qemu-couverture-git-1.cfg
> @@ -14,7 +14,6 @@
>  # Couverture QEMU Version.
>  #
>  %define qemu_version e9299f7591c8ecf3389922f4e7672b6bc5deae71
> -%hash sha512 e9299f7591c8ecf3389922f4e7672b6bc5deae71.tar.gz b0479eefb8f067b97828b411b89c6b4ba4097477425a83b7ae439a3c0980c52cdbbbd2b7c85edb412ffe7f20b1822b65be008a989c815ceff72a493e551bbb78
>  
>  #
>  # Couverture QEMU disables for this version.
> @@ -29,7 +28,8 @@
>  #
>  # Set Couverture-Qemu source from github.
>  #
> -%source set qemu https://github.com/AdaCore/qemu/archive/%{qemu_version}.tar.gz
> +%source set qemu --rsb-file=qemu-couverture-%{qemu_version}.tar.gz https://github.com/AdaCore/qemu/archive/%{qemu_version}.tar.gz
> +%hash sha512 qemu-couverture-%{qemu_version}.tar.gz b0479eefb8f067b97828b411b89c6b4ba4097477425a83b7ae439a3c0980c52cdbbbd2b7c85edb412ffe7f20b1822b65be008a989c815ceff72a493e551bbb78
>  
>  #
>  # Patch to send halt signal to qemu-system-or32 process when RTEMS terminates
>