blob: 51ce18e031fb3f5a3f13c8703e0220761cfcc81a (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
#!/bin/sh
INPUT_FILE=$1
function fix_tr1() {
grep $1 $INPUT_FILE > /dev/null 2>&1
if [ $? -eq 0 ] ; then
echo "Modifying $INPUT_FILE ..."
sed 's/$1/$2/g' $INPUT_FILE > .tmp
if [ $? -ne 0 ] ; then
echo "sed failed!"
return 1
fi
mv -f .tmp $INPUT_FILE
fi
return 0
}
fix_tr1 "tr1\/unordered_map" "unordered_map"
fix_tr1 "tr1/unordered_set" "unordered_set"
fix_tr1 "tr1::hash" "hash"
|