diff options
Diffstat (limited to 'emulators/qemu-cheri')
| -rw-r--r-- | emulators/qemu-cheri/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/emulators/qemu-cheri/Makefile b/emulators/qemu-cheri/Makefile index 4aef8ec22089..891a72d3c8fd 100644 --- a/emulators/qemu-cheri/Makefile +++ b/emulators/qemu-cheri/Makefile @@ -1,6 +1,6 @@ PORTNAME= qemu PORTVERSION= 0.d${SNAPDATE} -PORTREVISION= 3 +PORTREVISION= 4 CATEGORIES= emulators devel PKGNAMESUFFIX= -cheri |