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