]> mj.ucw.cz Git - eval.git/blobdiff - config
Lots of minor improvements.
[eval.git] / config
diff --git a/config b/config
index 50ed7005c1df0757ba2de50d239bedefdfacfdd5..84bf889b68dce056625b86d0eef75c4d1c78bc61 100644 (file)
--- a/config
+++ b/config
@@ -16,6 +16,9 @@ TEST_USER=${TEST_USER:mo-test1}
 
 ### all of the following variables can be overriden in per-task config file
 
+# Default task type (file or interactive)
+TASK_TYPE=file
+
 # Known source file extensions
 EXTENSIONS="c C cpp p pas"