From 3d75ff3278a7c5bef12f2e788b025ca472869a70 Mon Sep 17 00:00:00 2001
From: Alasdair Armstrong
Date: Thu, 6 Jun 2019 17:34:25 +0100
Subject: Fix aarch64_small makefile

---
 aarch64_small/Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/aarch64_small/Makefile b/aarch64_small/Makefile
index 43685ccb..b0a993ef 100644
--- a/aarch64_small/Makefile
+++ b/aarch64_small/Makefile
@@ -24,7 +24,7 @@ armV8.lem: $(SOURCES)
 	$(SAIL) $(SAILFLAGS) -lem -lem_lib ArmV8_extras_embed -o armV8 $^
 
 armV8.axiomatic_model: $(SOURCES)
-	$(SAIL) $(SAILFLAGS) -axiomatic $^
+	$(SAIL) $(SAILFLAGS) -axiomatic -o armV8 $^
 
 for-rmem/armV8.lem: $(SOURCES)
 	mkdir -p $(dir $@)
-- 
cgit v1.2.3