diff options
author | Abdullah Sowayan <sowayan@users.noreply.github.com> | 2007-03-18 22:23:37 +0000 |
---|---|---|
committer | Abdullah Sowayan <sowayan@users.noreply.github.com> | 2007-03-18 22:23:37 +0000 |
commit | 06a34455bd98b1379cc69bbc5b2cf085e0fc0d9b (patch) | |
tree | 8815ce3b3a85c3c4285429295f338e00ea4497f4 /CIAO/bin/replace_dummy_with_dummylabel.sh | |
parent | d66fcc9b4aaec8e88eeb83fc578fdf8a3cc963de (diff) | |
download | ATCD-06a34455bd98b1379cc69bbc5b2cf085e0fc0d9b.tar.gz |
Diffstat (limited to 'CIAO/bin/replace_dummy_with_dummylabel.sh')
-rwxr-xr-x | CIAO/bin/replace_dummy_with_dummylabel.sh | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/CIAO/bin/replace_dummy_with_dummylabel.sh b/CIAO/bin/replace_dummy_with_dummylabel.sh new file mode 100755 index 00000000000..3f699576154 --- /dev/null +++ b/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 |