Update emulators/qemu-cheri to version 0.d20200327
authorDPorts Builder <nobody@home.ok>
Mon, 20 Apr 2020 09:42:28 +0000 (02:42 -0700)
committerDPorts Builder <nobody@home.ok>
Mon, 20 Apr 2020 09:42:28 +0000 (02:42 -0700)
commit25054a73733c18398f7534e1784ab7df1ca9b516
tree5323f340ce30a2f06e2855f70fca5b71c22bc243
parentf3fe446251c4310b1431cbb70fe90274973ec5fd
Update emulators/qemu-cheri to version 0.d20200327
emulators/qemu-cheri/Makefile
emulators/qemu-cheri/Makefile.snapshot
emulators/qemu-cheri/distinfo
emulators/qemu-cheri/files/gen-Makefile.snapshot.sh
emulators/qemu-cheri/files/patch-configure [new file with mode: 0644]