diff options
author | Fumitoshi UKAI <ukai@debian.or.jp> | 2001-11-22 13:53:19 +0000 |
---|---|---|
committer | Fumitoshi UKAI <ukai@debian.or.jp> | 2001-11-22 13:53:19 +0000 |
commit | f55f3c1408d32ccf2ecb6f39e338082a93cfab0b (patch) | |
tree | bc948bf65b3612bbef7388e71082cacaa190454f | |
parent | [w3m-dev 02501] (diff) | |
download | w3m-f55f3c1408d32ccf2ecb6f39e338082a93cfab0b.tar.gz w3m-f55f3c1408d32ccf2ecb6f39e338082a93cfab0b.zip |
check alarm
Diffstat (limited to '')
-rw-r--r-- | ChangeLog | 4 | ||||
-rwxr-xr-x | configure | 23 |
2 files changed, 26 insertions, 1 deletions
@@ -1,3 +1,7 @@ +2001-11-22 Fumitoshi UKAI <ukai@debian.or.jp + + * configure (alarm): check alarm if USE_ALARM + 2001-11-22 Tsutomu Okada <okada@furuno.co.jp> * [w3m-dev 02501] @@ -1,5 +1,5 @@ #!/bin/sh -# $Id: configure,v 1.13 2001/11/22 03:22:12 ukai Exp $ +# $Id: configure,v 1.14 2001/11/22 13:53:19 ukai Exp $ # Configuration. # @@ -1590,6 +1590,27 @@ else fi fi +# check alarm() +if [ "$use_alarm" = y ]; then + cat > _zdmachdep.c <<EOF +#include <unistd.h> +#include <signal.h> +main() +{ + int sa = SIGALRM; + void (*)() = alarm; +} +EOF + if $cc $cflags -o _zmachdep _zmachdep.c > /dev/null 2>&1 + then + echo "You have alarm()." + else + echo "You don't have alarm(), disable USE_ALARM" + use_alarm=n + def_use_alarm="#undef USE_ALARM" + fi +fi + # check for float.h cat > _zmachdep.c << EOF #include <float.h> |