diff options
Diffstat (limited to 'bare/config/devel/qemu-couverture-git-1.cfg')
| -rw-r--r-- | bare/config/devel/qemu-couverture-git-1.cfg | 4 |
1 files 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 |