158b61b
1
2
3
4
5
6
7
8
9
10
11
12
#!/bin/sh pwd 2> /dev/null > /dev/null bin=`dirname $0` 2> /dev/null pars=`$bin/modify-pars.pl $*` #echo "pars:|$pars|" #echo "$bin/moses-virtual.pl $pars" $bin/moses-virtual.pl $pars
