Changeset 2f1c88e in mainline for tools/srepl

Timestamp:

2018-04-05T21:06:05Z (6 years ago)

Author:

Jakub Jermar <jakub@…>

Branches:

lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export

Children:

231c770

Parents:

4618998

git-author:

Jakub Jermar <jakub@…> (2018-04-05 20:58:25)

git-committer:

Jakub Jermar <jakub@…> (2018-04-05 21:06:05)

Message:

Make it easier to bump QEMU version

Instead of manually computing and comparing the MD5 sum, use gpg to
verify the signature of the downloaded QEMU tarball.

(No files)