From 6395dbcc29480a37cd73b51deac5f1b289131e4f Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Fri, 4 Mar 2022 12:25:49 +0100
Subject: Fix a minor issue with external function declarations

---
 Makefile | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index cd98429e..c9839b45 100644
--- a/Makefile
+++ b/Makefile
@@ -30,7 +30,7 @@ build:
 # Test the project
 .PHONY: test
 test: build translate-no_nested_borrows translate-hashmap translate-paper \
-	translate-nll-betree_nll
+	translate-external translate-nll-betree_nll
 
 # Add specific options to some tests
 translate-no_nested_borrows translate-paper: \
@@ -42,6 +42,9 @@ translate-hashmap: SUBDIR:=hashmap
 translate-nll-betree_nll: TRANS_OPTIONS += -test-units -no-split-files -no-state -no-decreases-clauses
 translate-nll-betree_nll: SUBDIR:=misc
 
+translate-external: TRANS_OPTIONS +=
+translate-external: SUBDIR:=misc
+
 # Generic rules to extract the LLBC from a rust file
 # We use the rules in Charon's Makefile to generate the .llbc files: the options
 # vary with the test files.
-- 
cgit v1.2.3