blob: 4ea2d41b955c43495df462a3c6789d5b012e1944 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
#!/bin/sh
script=$1
file=$2
# Possibly allow some files to go unchanged. Other
# future manipulations are likely.
case $file in
*/alloc_policies.h)
cat $file ;;
*) sed -f $script $file ;;
esac
|