blob: b1b0844768a3ea79bca2a11413ad0e938d92ad4b (
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 -e "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"
|
