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

/barrelfish-master/usr/eclipseclp/
H A DBUILD_ROTD681 CVS_LOGFILE="$PREFIX/$LOG_DIR/log.cvs"
687 echo \"Checking out sources from CVS.\" | tee -a $CVS_LOGFILE
688 echo \"See $CVS_LOGFILE for details.\"
692 | tee -a $CVS_LOGFILE
695 | tee -a $CVS_LOGFILE
702 ) >> $CVS_LOGFILE 2>&1 &&
704 echo \"Done.\" | tee -a $CVS_LOGFILE \
706 echo \"CVS checkout failed.\" | tee -a $CVS_LOGFILE
1182 CVS_LOGFILE="$PREFIX/$LOG_DIR/log.cvs"
1191 | tee -a $CVS_LOGFILE
[all...]

Completed in 43 milliseconds