diff options
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 23 |
1 files changed, 22 insertions, 1 deletions
@@ -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> |