Closed Nircek closed 6 years ago
Skrypt make niepoprawnie wykonuje się na niektórych systemach nieposiadających /usr/bin/time, w przypadku braku takiego systemu można zrezygnować z wypisywania czasu, pamięci oraz errorlevela zwracanego przez program.
make
/usr/bin/time
errorlevel
Rozwiązane w 025409a. Czekaj na PRa...
Skrypt
make
niepoprawnie wykonuje się na niektórych systemach nieposiadających/usr/bin/time
, w przypadku braku takiego systemu można zrezygnować z wypisywania czasu, pamięci orazerrorlevel
a zwracanego przez program.