. pci driver now returns devices, even when they have been pci_reserve()d
[minix3.git] / lib / gnu / Makefile.in
blobcfc17794daac5f3a962112c4454b319c9fbec026
2 SUBDIRS=" \
3 end \
4 ieee_float \
5 rts"
7 TYPE=gnu