diff man/Makefile.in @ 24869:28e022c50e4f

(BOOT_TIME_FILE): New macro. (get_boot_time): Use it instead of hardwiring the file name. Check BOOT_TIME_FILE only after inspecting the kernel directly.
author Paul Eggert <eggert@twinsun.com>
date Fri, 18 Jun 1999 05:49:18 +0000
parents 3d67195ddc6a
children 32338cfa9fef
line wrap: on
line diff