From 12c9e194503dc6291826ba693c315c1abd756236 Mon Sep 17 00:00:00 2001 From: Rafal Kolanski Date: Mon, 25 Mar 2024 12:05:10 +1100 Subject: [PATCH] proof: remove AArch64 quick_and_dirty CRefine CRefine on AARCH64 is now sorry-free, and there are no other sorried developments at this time. Signed-off-by: Rafal Kolanski --- proof/Makefile | 5 ----- 1 file changed, 5 deletions(-) diff --git a/proof/Makefile b/proof/Makefile index 8781240b1e..7ee45d2a3e 100644 --- a/proof/Makefile +++ b/proof/Makefile @@ -10,11 +10,6 @@ default: images test test: all: images test -# Allow sorry command in AARCH64 CRefine during development: -ifeq "$(L4V_ARCH)" "AARCH64" - export CREFINE_QUICK_AND_DIRTY=1 -endif - # # Setup heaps. #