Rebuild for new kernel

Signed-off-by: David Abdurachmanov <david.abdurachmanov@sifive.com>
This commit is contained in:
David Abdurachmanov 2019-12-12 08:32:14 +02:00
parent 85278643f1
commit 0810e3645a
Signed by: davidlt
GPG Key ID: 8B7F1DA0E2C9FDBB
1 changed files with 1 additions and 1 deletions

View File

@ -5,7 +5,7 @@ Name: opensbi-unstable
# The last part is short hash
# Format: <TAG>.<NUMBER_OF_COMMITS_AFTER_TAG>.<YEAR>.<MONTH>.<DAY>.<SHORT_COMMIT>
Version: v0.5.0.2019.12.05.813f7f4
Release: 9%{?dist}
Release: 10%{?dist}
Summary: RISC-V Open Source Supervisor Binary Interface
License: BSD