trunk/CIAO/bin/replace_dummy_with_dummylabel.sh


1
2
3
4
5
6
7
8
9
10

#!/bin/bash
find . -name "*.mpc" > mpc_files
for i in `cat mpc_files`
do
  sed -e 's/requires += dummy$/requires += dummy_label/g' $i > tmp
  cat tmp > $i
done

rm -f mpc_files
rm -f tmp