diff --git a/install b/install index b30c01197ba9c67550df0fbba6bbe0cec7704441..2e03cbfe087c0720386ed961a8b23987667540d8 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