From a5960b89129d714ef694112bc013011e6e981eab Mon Sep 17 00:00:00 2001
From: Ben Harris <bjh21@bjh21.me.uk>
Date: Sun, 18 Nov 2018 12:06:25 +0000
Subject: [PATCH] Utterly minimal Makefile.

Linux puts timer_* in -lrt, so we need to use that.
---
 Makefile | 1 +
 1 file changed, 1 insertion(+)
 create mode 100644 Makefile

diff --git a/Makefile b/Makefile
new file mode 100644
index 0000000..7d4839e
--- /dev/null
+++ b/Makefile
@@ -0,0 +1 @@
+LDLIBS=-lrt
-- 
2.30.2