# HG changeset patch
# User Stefan Vogel <sv@exept.de>
# Date 1462203214 -7200
# Node ID 3118b9ddcdb7d388b0c6060fd75fccb0a9cfe138
# Parent  b536693fa9736495ad401244a3caf3ebcfdf7d86
Need -lrt for Linux __x86_64__ too

diff -r b536693fa973 -r 3118b9ddcdb7 Make.proto
--- a/Make.proto	Mon May 02 17:32:58 2016 +0200
+++ b/Make.proto	Mon May 02 17:33:34 2016 +0200
@@ -61,10 +61,9 @@
 
 
 # for LINUX-32bit we need also librt.so, in order to resolve clock_gettime@GLIBC_2.2  (see linuxIntern.h)
+# for LINUX-64bit we need also librt.so, in order to resolve clock_gettime@GLIBC_2.2.5  (see linuxIntern.h)
 ifneq (,$(findstring LINUX,$(CFLAGS))) 
-ifeq (,$(findstring -m64,$(CFLAGS)))
-LOCAL_SHARED_LIBS=-L/usr/lib -lrt
-endif
+LOCAL_SHARED_LIBS=-lrt
 endif