Jelly Bean MR2  |  4.3_r1
Bash程序  |  22行  |  423 B 

#!/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"