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

diff --git a/modules/sleep b/modules/sleep
index 13c20f0721..f48927e577 100644
--- a/modules/sleep
+++ b/modules/sleep
@@ -7,9 +7,14 @@ m4/sleep.m4
 
 Depends-on:
 unistd
+stdint          [test $HAVE_SLEEP = 0 || test $REPLACE_SLEEP = 1]
+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:
@@ -18,7 +23,7 @@ Include:
 <unistd.h>
 
 License:
-LGPL
+LGPLv2+
 
 Maintainer:
 Bruno Haible