aboutsummaryrefslogtreecommitdiff
path: root/param.ccl
diff options
context:
space:
mode:
Diffstat (limited to 'param.ccl')
-rw-r--r--param.ccl10
1 files changed, 10 insertions, 0 deletions
diff --git a/param.ccl b/param.ccl
index daf2a42..f08a70d 100644
--- a/param.ccl
+++ b/param.ccl
@@ -21,3 +21,13 @@ STRING portal_username "User name on the portal"
{
"" :: ""
} ""
+
+
+
+BOOLEAN output_source "Output a tarball with the cactus source tree"
+{
+} yes
+
+SHARES: IO
+
+USES STRING out_dir