diff --git a/racket/src/cs/c/configure b/racket/src/cs/c/configure index ea82897a21..7a02a8c69c 100755 --- a/racket/src/cs/c/configure +++ b/racket/src/cs/c/configure @@ -3660,6 +3660,7 @@ case "$host_os" in ;; linux*) MACH_OS=le + LIBS="${LIBS} -lrt" ;; osf1*) ;; diff --git a/racket/src/cs/c/configure.ac b/racket/src/cs/c/configure.ac index d9093117d5..5eb51cbd81 100644 --- a/racket/src/cs/c/configure.ac +++ b/racket/src/cs/c/configure.ac @@ -151,6 +151,7 @@ case "$host_os" in ;; linux*) MACH_OS=le + LIBS="${LIBS} -lrt" ;; osf1*) ;;