From db76b06e0119b4fb780431a86fe7e197e8d20c0c Mon Sep 17 00:00:00 2001
From: van Hauser <vh@thc.org>
Date: Tue, 15 Dec 2020 18:07:01 +0100
Subject: add dummy Makefile to instrumentation/

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

(limited to 'instrumentation')

diff --git a/instrumentation/Makefile b/instrumentation/Makefile
new file mode 100644
index 00000000..6cdd1a07
--- /dev/null
+++ b/instrumentation/Makefile
@@ -0,0 +1,2 @@
+all:
+	@echo "no need to do make in the instrumentation/ directory :) - it is all done in the main one"
-- 
cgit 1.4.1