Commit 9a23945c authored by Stelian Ionescu's avatar Stelian Ionescu
Browse files

Fix loading of librt.so

parent f0d48322
Loading
Loading
Loading
Loading
+1 −1
Original line number Diff line number Diff line
@@ -30,7 +30,7 @@

;;; Needed for clock_gettime() and friends.
(define-foreign-library librt
  (:linux (:or "librt.so" "/usr/lib/librt.so")))
  (:linux (:or "librt.so" "/lib/librt.so.1")))
(use-foreign-library librt)

;;;; stdlib.h