fix build with -DMAXTIME=123

This commit is contained in:
Matthias Krüger 2017-02-27 14:00:06 +01:00
parent 35e7697474
commit ce3bc006e7
1 changed files with 2 additions and 1 deletions

View File

@ -794,10 +794,11 @@ public:
*/
static const Token * startOfExecutableScope(const Token * tok);
static bool isMaxTime() {
#ifdef MAXTIME
bool isMaxTime() const {
return (std::time(0) > maxtime);
#else
static bool isMaxTime() {
return false;
#endif
}