diff options
Diffstat (limited to 'runner/executor.h')
| -rw-r--r-- | runner/executor.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/runner/executor.h b/runner/executor.h index 12883f15..6c83e649 100644 --- a/runner/executor.h +++ b/runner/executor.h @@ -14,6 +14,7 @@ struct execute_state */ double time_left; double resuming; + bool dry; }; enum { |