mo-score: Since STDOUT may be a pipe, we need to close it

[eval.git] / mop / eval / mo-ev-inc.sh

diff --git a/mop/eval/mo-ev-inc.sh b/mop/eval/mo-ev-inc.sh
index 26f856bc3e9fc7d92333ed357cff72c44a80e69b..437d9afbee24be8446c582f10beaed3b5432ef5b 100755 (executable)
--- a/mop/eval/mo-ev-inc.sh
+++ b/mop/eval/mo-ev-inc.sh
@@ -1,4 +1,6 @@
 #!/bin/bash
+# An incremental evaluator: detect which solutions were changed since
+# last run and run `ev' on them.
 
 [ -n "$1" ] || { echo "Usage: mo-ev-inc [--force] <tasks>" ; exit 1 ; }