devfs mounted twice in linux 2.4.19-pre3

[Felix Braun]

Hi Richard,

I just noticed that devfs is listed twice in /proc/mounts in linux
2.4.19-pre3, which confuses my shutdown script. Under 2.4.19-pre my
/proc/mounts looks like this:

devfs /dev devfs rw 0 0
/dev/ide/host0/bus0/target0/lun0/part5 / reiserfs rw 0 0
none /dev devfs rw 0 0
/proc /proc proc rw 0 0
/dev/discs/disc0/part1 /dos vfat rw 0 0
/dev/discs/disc0/part9 /opt reiserfs rw,noatime 0 0
none /dev/pts devpts rw 0 0
/dev/discs/disc0/part7 /usr reiserfs rw 0 0
none /dev/shm tmpfs rw 0 0

whereas under 2.4.18 the first line didn't show up. Is that a
misconfiguration on my part?

Bye
Felix