diff options
Diffstat (limited to 'src/lib/tools/buildoptions.h')
| -rw-r--r-- | src/lib/tools/buildoptions.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/lib/tools/buildoptions.h b/src/lib/tools/buildoptions.h index 7bf37c66e..4ac1ab3bd 100644 --- a/src/lib/tools/buildoptions.h +++ b/src/lib/tools/buildoptions.h @@ -61,6 +61,9 @@ public: bool keepGoing() const; void setKeepGoing(bool keepGoing); + bool forceTimestampCheck() const; + void setForceTimestampCheck(bool enabled); + bool logElapsedTime() const; void setLogElapsedTime(bool log); |