aboutsummaryrefslogtreecommitdiff
path: root/param.ccl
diff options
context:
space:
mode:
Diffstat (limited to 'param.ccl')
-rw-r--r--param.ccl1
1 files changed, 1 insertions, 0 deletions
diff --git a/param.ccl b/param.ccl
index 0a7f654..e0db897 100644
--- a/param.ccl
+++ b/param.ccl
@@ -50,6 +50,7 @@ INT nr_of_parameter_changes_to_be_logged "number of parameter changes to be logg
} -1
+
# Parameters for creating files containing the build and job ids
BOOLEAN create_id_files "Create files from the build and job ids"