|
|
1.1 ! root 1: #! /bin/csh -f ! 2: # this script munges all files specified in the arglist in order to ! 3: # bring the files into conformance with the driverkit API changes made ! 4: # in 1/93. ! 5: # ! 6: set SED_DIR = /Net/grrr/mknrw/dmitch/DRIVERKIT/driverkit/doc ! 7: set sedfile1 = ${SED_DIR}/api_change.sed ! 8: set sedfile2 = ${SED_DIR}/disk_changes.sed ! 9: set newline = ${SED_DIR}/newline ! 10: ! 11: while ( $#argv > 0 ) ! 12: set i = $argv[1] ! 13: echo $i ! 14: cp $i /tmp ! 15: cat $i $newline > ${i}.1 ! 16: sed -f $sedfile1 ${i}.1 > $i.2 ! 17: sed -f $sedfile2 ${i}.2 > $i.new ! 18: rm -f $i ${i}.1 ${i}.2 ! 19: mv ${i}.new $i ! 20: shift ! 21: end ! 22:
This archive runs on limited infrastructure. Preserving old code on modern bandwidth. Automated agents are requested to crawl responsibly.