diff options
Diffstat (limited to 'modules/CIAO/bin/replace_dummy_with_dummylabel.sh')
| -rwxr-xr-x | modules/CIAO/bin/replace_dummy_with_dummylabel.sh | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/modules/CIAO/bin/replace_dummy_with_dummylabel.sh b/modules/CIAO/bin/replace_dummy_with_dummylabel.sh new file mode 100755 index 00000000000..3f699576154 --- /dev/null +++ b/modules/CIAO/bin/replace_dummy_with_dummylabel.sh @@ -0,0 +1,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 |