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

/barrelfish-master/usr/eclipseclp/
H A DBUILD_ROTD910 INSTALL_LOGFILE=$PREFIX/$install_logfile
921 | tee -a $INSTALL_LOGFILE
922 echo \"$PREFIX/$install_dir\" | tee -a $INSTALL_LOGFILE
996 ) >> $INSTALL_LOGFILE 2>&1
1019 ./RUNME < /dev/null >> $INSTALL_LOGFILE 2>&1

Completed in 42 milliseconds