diff options
author | schnetter <schnetter@83718e91-0e4f-0410-abf4-91180603181f> | 2005-05-24 16:48:46 +0000 |
---|---|---|
committer | schnetter <schnetter@83718e91-0e4f-0410-abf4-91180603181f> | 2005-05-24 16:48:46 +0000 |
commit | d5833d54fc365a1335eef451bf9c11d248f2f897 (patch) | |
tree | 168d08fee72c7b2e4d9bb34b615e99caa239e540 /param.ccl | |
parent | d99f83734f0ea81db3ad7c465616cb24bde2f4c0 (diff) |
Use C++ for the portal code; that's cleaner.
Store the Cactus source tree in the executable and output it into the
output directory.
git-svn-id: http://svn.cactuscode.org/arrangements/CactusUtils/Formaline/trunk@6 83718e91-0e4f-0410-abf4-91180603181f
Diffstat (limited to 'param.ccl')
-rw-r--r-- | param.ccl | 10 |
1 files changed, 10 insertions, 0 deletions
@@ -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 |