X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=modules%2Fsleep;h=f48927e577d7b107d20bc3c60c19f7b06c134300;hb=c784be7bb43801d115f163586ad94534dfa27845;hp=c9b6c40809ec7cdfc6ddc8aeb06ed2670bd305df;hpb=7cbbd8a31a3be111f26d87fb8e55f4438f9c885f;p=pspp

diff --git a/modules/sleep b/modules/sleep
index c9b6c40809..f48927e577 100644
--- a/modules/sleep
+++ b/modules/sleep
@@ -12,6 +12,9 @@ verify          [test $HAVE_SLEEP = 0 || test $REPLACE_SLEEP = 1]
 
 configure.ac:
 gl_FUNC_SLEEP
+if test $HAVE_SLEEP = 0 || test $REPLACE_SLEEP = 1; then
+  AC_LIBOBJ([sleep])
+fi
 gl_UNISTD_MODULE_INDICATOR([sleep])
 
 Makefile.am: