view lib/Makefile @ 17454:a2d511609297

sys_time: port to OpenBSD * lib/sys_time.in.h: Simply delegate to the system's header in the BSDish cases as well. Problem reported by Mike Miller in <http://lists.gnu.org/archive/html/bug-gnulib/2013-08/msg00016.html>. * tests/test-sys_select.c, tests/test-sys_time.c (verify_tv_sec_type): Allow platforms like 64-bit OpenBSD where timeval's tv_sec is wider than time_t.
author Paul Eggert <eggert@cs.ucla.edu>
date Sat, 10 Aug 2013 22:02:58 -0700
parents 585bd9712fc1
children
line wrap: on
line source

# Run "make check" to ensure that the code passes some simple tests,
# usually (always?) not involving compilation.
all:

check:
	./t-idcache