Bernhard Reutner-Fischer 2c7da4d726 - use makedev to get device number, else it gives wrong major/minor numbers to devices files on systems which use big device numbers. ... Closes #919		2007-01-21 14:36:25 +00:00
..
makedevs.c	- use makedev to get device number, else it gives wrong major/minor numbers to devices files on systems which use big device numbers.	2007-01-21 14:36:25 +00:00
makedevs.mk	- use the HOSTCC given by the user.	2006-10-06 12:59:33 +00:00