From 6700d97b7f0593dbf5d8145ee43f1e151553dea0 Mon Sep 17 00:00:00 2001 From: Gerwin Klein Date: Mon, 9 Nov 2020 21:04:24 +1100 Subject: [PATCH] asmrefine: SimplExportOnly renamed The SimplExportOnly session is now just SimplExport. Signed-off-by: Gerwin Klein --- proof/Makefile | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/proof/Makefile b/proof/Makefile index 3667ca3e3..bae3900af 100644 --- a/proof/Makefile +++ b/proof/Makefile @@ -65,7 +65,7 @@ ASpec-files: .FORCE include ../misc/isa-common.mk -# SimplExportOnly is treated specially, to not save an image. -SimplExportOnly: c-kernel design-spec +# SimplExport is treated specially, to not save an image. +SimplExport: c-kernel design-spec $(ISABELLE_TOOL) build -v -c -d $(ROOT_PATH) $@ -.PHONY: SimplExportOnly +.PHONY: SimplExport