|
|
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.