From 5b682d1c5cdb87729368e1e644e97ec29c323e5f Mon Sep 17 00:00:00 2001 From: Pietro Incardona <i-bird@localhost.localdomain> Date: Thu, 11 Aug 2016 00:42:14 +0200 Subject: [PATCH] Fixing rt --- install | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/install b/install index b30c0119..2e03cbfe 100755 --- a/install +++ b/install @@ -223,7 +223,7 @@ fi ### if we are on linux we have to add -rt if [ x"$platform" = x"linux" ]; then - lin_alg_lib="$lin_alg_lib -rt" + lin_alg_lib="$lin_alg_lib -lrt" fi ### MPI -- GitLab