dist/U/pidtype.U

   1 ?RCS: $Id: pidtype.U 1 2006-08-24 12:32:52Z rmanfredi $
   2 ?RCS:
   3 ?RCS: Copyright (c) 1991-1997, 2004-2006, Raphael Manfredi
   4 ?RCS:
   5 ?RCS: You may redistribute only under the terms of the Artistic Licence,
   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 Licence; a copy of which may be found at the root
   9 ?RCS: of the source tree for dist 4.0.
  10 ?RCS:
  11 ?RCS: $Log: pidtype.U,v $
  12 ?RCS: Revision 3.0.1.1  1994/08/29  16:31:27  ram
  13 ?RCS: patch32: now uses new Typedef unit to compute type information
  14 ?RCS:
  15 ?RCS: Revision 3.0  1993/08/18  12:09:33  ram
  16 ?RCS: Baseline for dist 3.0 netwide release.
  17 ?RCS:
  18 ?MAKE:pidtype: Myread Typedef
  19 ?MAKE:  -pick add $@ %<
  20 ?S:pidtype:
  21 ?S:     This variable defines PIDTYPE to be something like pid_t, int,
  22 ?S:     ushort, or whatever type is used to declare process ids in the kernel.
  23 ?S:.
  24 ?C:Pid_t (PIDTYPE):
  25 ?C:     This symbol holds the type used to declare process ids in the kernel.
  26 ?C:     It can be int, uint, pid_t, etc... It may be necessary to include
  27 ?C:     <sys/types.h> to get any typedef'ed information.
  28 ?C:.
  29 ?H:#define Pid_t $pidtype               /* PID type */
  30 ?H:.
  31 : see what type pids are declared as in the kernel
  32 set pid_t pidtype int stdio.h sys/types.h
  33 eval $typedef
  34 dflt="$pidtype"
  35 echo " "
  36 rp="What type are process ids on this system declared as?"
  37 . ./myread
  38 pidtype="$ans"
  39