From adb572a17659fb555884d7a8a5aa771f2d7076d7 Mon Sep 17 00:00:00 2001
From: "Peter J. Holzer" <hjp@wsr.ac.at>
Date: Fri, 25 Dec 2020 20:43:23 +0100
Subject: [PATCH] Add Makefile for old linux variants

GCC on Debian 7 is still C89 by default and it needs an extra library
for clock_gettime.
---
 C/Makefile.oldlinux | 4 ++++
 1 file changed, 4 insertions(+)
 create mode 100644 C/Makefile.oldlinux

diff --git a/C/Makefile.oldlinux b/C/Makefile.oldlinux
new file mode 100644
index 0000000..3756fa0
--- /dev/null
+++ b/C/Makefile.oldlinux
@@ -0,0 +1,4 @@
+CFLAGS = -O9 -Wall -std=gnu99
+LDFLAGS = -lrt
+
+all: eratosthenes_1sec