Moving things around, WIP batch tasktype via hooks

[moe.git] / mop / eval / mo-ev-all.sh

diff --git a/mop/eval/mo-ev-all.sh b/mop/eval/mo-ev-all.sh
index 8ce6dff05fc7b8244e905e94bb9abb5989c9ed71..f1abc6f1ee17ceef708af6405919a301da7975b0 100755 (executable)
--- a/mop/eval/mo-ev-all.sh
+++ b/mop/eval/mo-ev-all.sh
@@ -1,4 +1,5 @@
 #!/bin/bash
 #!/bin/bash

+# Run `ev' on all solutions of given tasks

 
 [ -n "$1" ] || { echo "Usage: mo-ev-all <tasks>" ; exit 1 ; }
 
 
 [ -n "$1" ] || { echo "Usage: mo-ev-all <tasks>" ; exit 1 ; }