diff options
| -rw-r--r-- | tools/bugpoint/BugDriver.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/tools/bugpoint/BugDriver.h b/tools/bugpoint/BugDriver.h index cf2ae58fcd..40c170a36a 100644 --- a/tools/bugpoint/BugDriver.h +++ b/tools/bugpoint/BugDriver.h @@ -91,6 +91,8 @@ public: /// functions that are not under consideration. bool debugCodeGenerator(); + /// isExecutingJIT - Returns true if bugpoint is currently testing the JIT + /// bool isExecutingJIT(); private: |