X-Git-Url: http://mj.ucw.cz/gitweb/?a=blobdiff_plain;f=mop%2Feval%2Fmo-ev-inc.sh;h=437d9afbee24be8446c582f10beaed3b5432ef5b;hb=12b46a86b8a21c64593eaad279a633bc467667a9;hp=26f856bc3e9fc7d92333ed357cff72c44a80e69b;hpb=fc833e30d9b1315ffdeb780d5257e8e1bdafad43;p=eval.git

diff --git a/mop/eval/mo-ev-inc.sh b/mop/eval/mo-ev-inc.sh
index 26f856b..437d9af 100755
--- 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 ; }