diff options
Diffstat (limited to 'param.ccl')
-rw-r--r-- | param.ccl | 5 |
1 files changed, 5 insertions, 0 deletions
@@ -3,6 +3,9 @@ +# Parameters for announcing to the portal +# (does not work yet properly) + BOOLEAN announce_to_portal "Announce to the portal" { } no @@ -24,6 +27,8 @@ STRING portal_username "User name on the portal" +# Parameters for storing the source tree in the executable + BOOLEAN output_source "Output a tarball with the cactus source tree" { } yes |