X-Git-Url: http://mj.ucw.cz/gitweb/?a=blobdiff_plain;ds=sidebyside;f=mop%2Feval%2Fmo-ev-all.sh;h=f1abc6f1ee17ceef708af6405919a301da7975b0;hb=538b950bac4d1f3baea968c5f3a5adb406218f05;hp=8ce6dff05fc7b8244e905e94bb9abb5989c9ed71;hpb=fc833e30d9b1315ffdeb780d5257e8e1bdafad43;p=moe.git diff --git a/mop/eval/mo-ev-all.sh b/mop/eval/mo-ev-all.sh index 8ce6dff..f1abc6f 100755 --- a/mop/eval/mo-ev-all.sh +++ b/mop/eval/mo-ev-all.sh @@ -1,4 +1,5 @@ #!/bin/bash +# Run `ev' on all solutions of given tasks [ -n "$1" ] || { echo "Usage: mo-ev-all " ; exit 1 ; }