pintos-os.org Git - pspp/blob - modules/sys_times

   1 Description:
   2 A <sys/times.h> for systems lacking it.
   3
   4 Files:
   5 lib/sys_times.in.h
   6 m4/sys_times_h.m4
   7
   8 Depends-on:
   9 link-warning
  10
  11 configure.ac:
  12 gl_SYS_TIMES_H
  13 AC_PROG_MKDIR_P
  14
  15 Makefile.am:
  16 BUILT_SOURCES += $(SYS_TIMES_H)
  17
  18 # We need the following in order to create <sys/times.h> when the system
  19 # doesn't have one that works with the given compiler.
  20 sys/times.h: sys_times.in.h
  21         $(AM_V_at)$(MKDIR_P) sys
  22         $(AM_V_GEN)rm -f $@-t $@ && \
  23         { echo '/* DO NOT EDIT! GENERATED AUTOMATICALLY! */'; \
  24           sed -e 's|@''GNULIB_TIMES''@|$(GNULIB_TIMES)|g' \
  25               -e '/definition of GL_LINK_WARNING/r $(LINK_WARNING_H)' \
  26               < $(srcdir)/sys_times.in.h; \
  27         } > $@-t && \
  28         mv $@-t $@
  29 MOSTLYCLEANFILES += sys/times.h sys/times.h-t
  30 MOSTLYCLEANDIRS += sys
  31
  32 Include:
  33 #include <sys/times.h>
  34
  35 License:
  36 LGPLv2+
  37
  38 Maintainer:
  39 Simon Josefsson