| 81 | |
| 82 | |
| 83 | void PauseIfNotTerminal() |
| 84 | { |
| 85 | // pause if Leanify is not started in terminal |
| 86 | // so that user can see the output instead of just a flash of a black box |
| 87 | #ifdef _WIN32 |
| 88 | if (is_pause) |
| 89 | { |
| 90 | system("pause"); |
| 91 | } |
| 92 | #endif // _WIN32 |
| 93 | } |
| 94 | |
| 95 | |
| 96 |