From 14f6f35ebaa8373aef8e5d5f73a18bc63ec249a9 Mon Sep 17 00:00:00 2001 From: Michael Mueller Date: Fri, 14 Oct 2022 14:50:57 +0200 Subject: [PATCH] nova: Do not use vanilla version, as we need custom extensions that are not merged yet. --- repos/base-nova/ports/nova.hash | 2 +- repos/base-nova/ports/nova.port | 4 ++-- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/repos/base-nova/ports/nova.hash b/repos/base-nova/ports/nova.hash index bf8d5f7d78..97064557ae 100644 --- a/repos/base-nova/ports/nova.hash +++ b/repos/base-nova/ports/nova.hash @@ -1 +1 @@ -33a2fa953ec52b0f63b921f4d33d68891c0aada0 +394582c6c97d5f380b58e4cd79d590c0a08bfd3e diff --git a/repos/base-nova/ports/nova.port b/repos/base-nova/ports/nova.port index 90f33a67b9..0dc91197a3 100644 --- a/repos/base-nova/ports/nova.port +++ b/repos/base-nova/ports/nova.port @@ -3,8 +3,8 @@ VERSION := git DOWNLOADS := nova.git # r10 branch -URL(nova) := https://github.com/alex-ab/NOVA.git -REV(nova) := 00dc49bc18e7f72a9c85487e8f94fd859511d89d +URL(nova) := https://github.com/mmueller41/NOVA.git +REV(nova) := 315eca035e7152c072670bba7d6c3910f895fb37 DIR(nova) := src/kernel/nova PATCHES := $(sort $(wildcard $(REP_DIR)/patches/*.patch))