Skip to content
Commit 2c7da4d7 authored by Bernhard Reutner-Fischer's avatar Bernhard Reutner-Fischer
Browse files

- use makedev to get device number, else it gives wrong major/minor numbers to... 

- 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
parent 726abd4e
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment