source: trunk/third/wcl/makeSV @ 8837

Revision 8837, 700 bytes checked in by ghudson, 28 years ago (diff)
This commit was generated by cvs2svn to compensate for changes in r8836, which included commits to RCS files with non-trunk default branches.
  • Property svn:executable set to *
Line 
1#!/bin/csh
2#
3# Runs make putting all output into a logfile.
4# Logfile begins and ends with a time stamp, and the name of
5# the logfile reflects the start time of the make.  The name
6# of the logfile begins with `_' so it shows up first with ls.
7#
8set logfile = _`date +%b%d%R`           # e.g. _Jun08-08:00
9
10setenv PATH /usr/bin:$PATH
11
12if ( ! $?HOST ) set HOST = ""
13
14echo `date`  ====  Log of\: make $* >& $logfile
15echo Original $HOST disk space\:    >>& $logfile
16df -v .                             >>& $logfile
17make $*                             >>& $logfile
18echo `date`                         >>& $logfile
19echo Final disk space\:             >>& $logfile
20df -v .                             >>& $logfile
Note: See TracBrowser for help on using the repository browser.