pintos-os.org Git - pspp/commit

author	Paul Eggert <eggert@cs.ucla.edu>
	Wed, 4 Jun 2003 20:09:47 +0000 (20:09 +0000)
committer	Paul Eggert <eggert@cs.ucla.edu>
	Wed, 4 Jun 2003 20:09:47 +0000 (20:09 +0000)
commit	a76a349e949dfad5716eb3893052070b770e949f
tree	c4e4e48105ef73c3cd1c7b29109d82348b77510d	tree \| snapshot
parent	92295bc4b2a378893386efd3cf8cf9bc31024b59	commit \| diff

Ensure we use gnulib mktime rather than glibc's mktime, on hosts
where mktime isn't the inverse of localtime (negative time_t).

Unnamed repository; edit this file to name it for gitweb.