From 9d1fc9e76ac82951c34952a878a36f7c5f886237 Mon Sep 17 00:00:00 2001
From: Jonathan Protzenko
Date: Thu, 17 Feb 2022 15:54:05 -0800
Subject: More stuff for the paper + interactive mode makefile

---
 tests/misc/Makefile | 2 ++
 1 file changed, 2 insertions(+)
 create mode 100644 tests/misc/Makefile

(limited to 'tests')

diff --git a/tests/misc/Makefile b/tests/misc/Makefile
new file mode 100644
index 00000000..5153d201
--- /dev/null
+++ b/tests/misc/Makefile
@@ -0,0 +1,2 @@
+%.fst-in %.fsti-in:
+	@echo --include ../hashmap
-- 
cgit v1.2.3