From 41db4c33b43922ef1009758a5b54436e5f599af8 Mon Sep 17 00:00:00 2001
From: Thomas Schoebel-Theuer <tst@1und1.de>
Date: Thu, 30 Jan 2020 11:12:50 +0100
Subject: [PATCH] infra: fix build with some old kernels

---
 kernel/lamport.h | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/kernel/lamport.h b/kernel/lamport.h
index 29194ae8..5576bc51 100644
--- a/kernel/lamport.h
+++ b/kernel/lamport.h
@@ -26,7 +26,9 @@
 
 #include <linux/time.h>
 #include <linux/ktime.h>
+#ifndef CURRENT_TIME
 #include <linux/timekeeping.h>
+#endif
 
 /* Adapt to upstream commits
  * 8758a240e2d74c5932ab51a73377e6507b7fd441