tree 811fa15080bb322ebbd4c7be37605a3abbcdf1c7
parent 2f0c0d0b8829b8aea97bc09833e172c59b55cd94
author Bernhard Reutner-Fischer <rep.dot.nop@gmail.com> 1169378401 -0000
committer Bernhard Reutner-Fischer <rep.dot.nop@gmail.com> 1169378401 -0000

- 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