| Revision 8837,
724 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 | # |
|---|
| 8 | set logfile = _`date +%h%d-%H:%M` # e.g. _Jun08-08:00 |
|---|
| 9 | |
|---|
| 10 | setenv PATH /usr/bin:$PATH |
|---|
| 11 | |
|---|
| 12 | echo PATH is $PATH |
|---|
| 13 | |
|---|
| 14 | if ( ! $?HOST ) set HOST = "" |
|---|
| 15 | |
|---|
| 16 | echo `date` ==== Log of\: make $* >& $logfile |
|---|
| 17 | echo Original $HOST disk space\: >>& $logfile |
|---|
| 18 | df . >>& $logfile |
|---|
| 19 | make $* >>& $logfile |
|---|
| 20 | echo `date` >>& $logfile |
|---|
| 21 | echo Final disk space\: >>& $logfile |
|---|
| 22 | df . >>& $logfile |
|---|
Note: See
TracBrowser
for help on using the repository browser.
