chiark / gitweb /
Utterly minimal Makefile.
authorBen Harris <bjh21@bjh21.me.uk>
Sun, 18 Nov 2018 12:06:25 +0000 (12:06 +0000)
committerBen Harris <bjh21@bjh21.me.uk>
Sun, 18 Nov 2018 12:06:25 +0000 (12:06 +0000)
Linux puts timer_* in -lrt, so we need to use that.

Makefile [new file with mode: 0644]

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