From 6096eb2db483cddd2211b9d8bc96298a38ac3169 Mon Sep 17 00:00:00 2001
From: Willem Jan Palenstijn <Willem.Jan.Palenstijn@cwi.nl>
Date: Fri, 20 Feb 2015 18:00:03 +0100
Subject: Check if we need librt for clock_gettime in configure script

---
 build/linux/Makefile.in | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'build/linux/Makefile.in')

diff --git a/build/linux/Makefile.in b/build/linux/Makefile.in
index 685e1e5..5b4c9fa 100644
--- a/build/linux/Makefile.in
+++ b/build/linux/Makefile.in
@@ -19,10 +19,11 @@ VPATH=../..
 CPPFLAGS=@SAVED_CPPFLAGS@
 CXXFLAGS=@SAVED_CXXFLAGS@
 LDFLAGS=@SAVED_LDFLAGS@
+LIBS=@SAVED_LIBS@
 
 CPPFLAGS+=-I../.. -I../../include -I../../lib/include/rapidxml
 CXXFLAGS+=-g -O3 -Wall -Wshadow
-LIBS=-lpthread -lrt
+LIBS+=-lpthread
 LDFLAGS+=-g
 
 ifeq ($(cuda),yes)
-- 
cgit v1.2.3