Searched refs:BUILD_LOGFILE (Results 1 - 1 of 1) sorted by relevance

/barrelfish-master/usr/eclipseclp/
H A DBUILD_ROTD718 BUILD_LOGFILE="$PREFIX/$LOG_DIR/log.$arch.build"
737 | tee -a $BUILD_LOGFILE
738 echo \"See $BUILD_LOGFILE for details.\"
747 ) >> $BUILD_LOGFILE 2>&1 &&
749 echo \"Done.\" | tee -a $BUILD_LOGFILE

Completed in 65 milliseconds