. pci driver now returns devices, even when they have been pci_reserve()d

[minix3.git] / lib / timers / Makefile.in

# Makefile for lib/tmrslib.

CFLAGS="-O -D_MINIX -D_POSIX_SOURCE"

LIBRARIES=libtimers

libtimers_FILES=" \
        tmrs_set.c \
        tmrs_clr.c \
        tmrs_exp.c"

TYPE=both