diff options
-rw-r--r-- | param.ccl | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -222,6 +222,9 @@ USES BOOLEAN checkpoint_keep_all "" USES KEYWORD recover "" { } +USES BOOLEAN recover_and_remove "" +{ +} USES INT checkpoint_every "" { : :: |
index : IOFlexIO.git | ||
[no description] |
aboutsummaryrefslogtreecommitdiff |
-rw-r--r-- | param.ccl | 3 |
@@ -222,6 +222,9 @@ USES BOOLEAN checkpoint_keep_all "" USES KEYWORD recover "" { } +USES BOOLEAN recover_and_remove "" +{ +} USES INT checkpoint_every "" { : :: |