Re: port-sgimips/53521 (Failed to build disable DDB kernel on sgimips.)

To: tsutsui%NetBSD.org@localhost, netbsd-bugs%netbsd.org@localhost, gnats-admin%netbsd.org@localhost, tsutsui%NetBSD.org@localhost, nullnilaki%gmail.com@localhost
Subject: Re: port-sgimips/53521 (Failed to build disable DDB kernel on sgimips.)
From: tsutsui%NetBSD.org@localhost
Date: Fri, 14 Sep 2018 19:43:12 +0000 (UTC)

Synopsis: Failed to build disable DDB kernel on sgimips.

State-Changed-From-To: pending-pullups->closed
State-Changed-By: tsutsui%NetBSD.org@localhost
State-Changed-When: Fri, 14 Sep 2018 19:43:12 +0000
State-Changed-Why:
Pulled up.

Prev by Date: toolchain/53608: Patch for missing attribute(3) documentation
Next by Date: Re: port-sgimips/53522 (wdsc WD33C93 SCSI chip driver is not configured on SGI HPC1.5 (Indigo R3000 Indigo R4000) machine)
Previous by Thread: Re: port-sgimips/53521 (Failed to build disable DDB kernel on sgimips.)
Next by Thread: PR/53521 CVS commit: src/sys/arch/sgimips/sgimips
Indexes:

Home | Main Index | Thread Index | Old Index