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

closes #3808.
This commit is contained in:
Joel Sherrill 2019-12-13 08:55:40 -06:00
parent b5aa2f0f12
commit 6c65fc237b

View File

@ -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