3 ?RCS: Copyright (c) 1999, Jarkko Hietaniemi
5 ?RCS: You may redistribute only under the terms of the Artistic License,
6 ?RCS: as specified in the README file that comes with the distribution.
7 ?RCS: You may reuse parts of this distribution only within the terms of
8 ?RCS: that same Artistic License; a copy of which may be found at the root
9 ?RCS: of the source tree for dist 3.0.
11 ?MAKE:d_timer_delete: Inlibc
12 ?MAKE: -pick add $@ %<
14 ?S: This variable conditionally defines HAS_TIMER_DELETE if timer_delete()
15 ?S: is available to delete a POSIX timer.
18 ?C: This symbol, if defined, indicates that the timer_delete system call is
19 ?C: available to delete a POSIX timer.
21 ?H:#$d_timer_delete HAS_TIMER_DELETE /**/
23 ?LINT:set d_timer_delete
24 : see if timer_delete exists
25 set timer_delete d_timer_delete