Bernhard Reutner-Fischer 7b1f23610f - 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 11:20:01 +00:00

5.4 KiB

Raw Blame History

View Raw