From 934ada72fabf0d4fb11ca73ac05f73e71393200e Mon Sep 17 00:00:00 2001 From: Christian Prochaska Date: Tue, 14 May 2019 16:22:26 +0200 Subject: [PATCH] nova: remove deprecated 'register' keyword Fixes #3350 --- repos/base-nova/ports/nova.hash | 2 +- repos/base-nova/ports/nova.port | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/repos/base-nova/ports/nova.hash b/repos/base-nova/ports/nova.hash index f90e4fc8c..c9ad84aac 100644 --- a/repos/base-nova/ports/nova.hash +++ b/repos/base-nova/ports/nova.hash @@ -1 +1 @@ -82de2badb4ce1466db3d90ad5da41153134e15ea +ed5af2872f2aadb193301fd3a6d64f5b09a3609d diff --git a/repos/base-nova/ports/nova.port b/repos/base-nova/ports/nova.port index 8af975ad9..88b168be3 100644 --- a/repos/base-nova/ports/nova.port +++ b/repos/base-nova/ports/nova.port @@ -4,7 +4,7 @@ DOWNLOADS := nova.git # r10 branch URL(nova) := https://github.com/alex-ab/NOVA.git -REV(nova) := eef83cd3f7a25555e0fb8e29950a0ae436b7bc1c +REV(nova) := 4276528a5c01f0429e5f1d204b80860547c8fa12 DIR(nova) := src/kernel/nova PATCHES := $(sort $(wildcard $(REP_DIR)/patches/*.patch))