make release has been breaking with "No /dev/md1" for a couple of weeks.

[Claude Buisson]

Edwin Culp wrote:
> I've not been able to make a release for a couple of weeks now. 
> I get the following error.
> 
> + [ -f /R/stage/trees/base/boot/boot ]
> + BOOT=-B -b /R/stage/trees/base/boot/boot
> + dofs_md
> + [ x != x ]
> + mdconfig -a -t vnode -f /R/stage/mfsroot/mfsroot
> + MDDEVICE=md1
> + [ ! -c /dev/md1 ]
> + echo No /dev/md1
> No /dev/md1
> + exit 1
> *** Error code 1
> 
> Stop in /usr/src/release.
> + umount /dev
> *** Error code 1
> 
> Is anyone else seeing this?

Same thing here today (July 3) -- with md0 instead of md1.

But was OK 1 week ago (June 26)

> 
> Thanks,
> 
> ed

Claude Buisson