Eine plattformunabhängige Variante des make-Kommandos. Es wird von einigen Programmen benötigt. (kp)