diff options
author | arvindk <arvindk@ae88bc3d-4319-0410-8dbf-d08b4c9d3795> | 2005-02-26 21:05:32 +0000 |
---|---|---|
committer | arvindk <arvindk@ae88bc3d-4319-0410-8dbf-d08b4c9d3795> | 2005-02-26 21:05:32 +0000 |
commit | a5554356e2bdb872084e0bf444a35c2d07e1def9 (patch) | |
tree | 0f94e8fd544028f2b0fd67d9d87e9be585b1f286 | |
parent | 770e9b90b07c50ae51a9229d6e6f4aa8be1721af (diff) | |
download | ATCD-a5554356e2bdb872084e0bf444a35c2d07e1def9.tar.gz |
ChangelogTag: Sat Feb 26 14:38:46 2005 Arvind S. Krishna <arvindk@tango.dre.vanderbilt.edu>
-rwxr-xr-x | TAO/CIAO/bin/replace_dummy_with_dummylabel.sh | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/TAO/CIAO/bin/replace_dummy_with_dummylabel.sh b/TAO/CIAO/bin/replace_dummy_with_dummylabel.sh new file mode 100755 index 00000000000..3f699576154 --- /dev/null +++ b/TAO/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 |