Index: src/IceClFlags.h |
diff --git a/src/IceClFlags.h b/src/IceClFlags.h |
index 774a40f9d74af6a8867e617ba495bd67dfd8f988..43527b80d7bae930aa4a2a4daf6a106a05e9aaa6 100644 |
--- a/src/IceClFlags.h |
+++ b/src/IceClFlags.h |
@@ -140,6 +140,7 @@ public: |
// size_t accessors. |
size_t getNumTranslationThreads() const { return NumTranslationThreads; } |
+ bool isSequential() const { return NumTranslationThreads == 0; } |
void setNumTranslationThreads(size_t NewValue) { |
NumTranslationThreads = NewValue; |
} |