DNS прерывается с перерывами в 13.10 после обновления

Я буду честен, до сегодняшнего дня я никогда не видел MAKEOPTS.

MAKEFLAGS Я знаю, но после некоторых исследований MAKEOPTS кажется Gentoo- (и его детьми ).

И если это не в руководстве, его вряд ли можно считать стандартным по какой-либо части воображения.