Rev 9045 | Details | Compare with Previous | Last modification | View Log | RSS feed
Rev | Author | Line No. | Line |
---|---|---|---|
8566 | bpr | 1 | #! /bin/sh |
2 | |||
3 | wims_home=`pwd`; |
||
8571 | bpr | 4 | wims_dirtest="$wims_home/wimstest/dirtest"; |
5 | |||
6 | export w_dictionary=$wims_dirtest/dic.sorted |
||
8566 | bpr | 7 | export w_suffix_dictionary= |
8 | export wims_exec_parm="titi tutu xxxx" |
||
9 | $wims_home/src/Misc/translator |
||
8930 | bpr | 10 | export w_translator_unknown=leave |
8566 | bpr | 11 | |
12 | $wims_home/src/Misc/translator |
||
9151 | bpr | 13 | echo "" |
9045 | bpr | 14 |