Execute the specified shell command and exit if it fails. */
| 105 | |
| 106 | /** Execute the specified shell command and exit if it fails. */ |
| 107 | static inline void systemOrExit(const char* s) |
| 108 | { |
| 109 | int status = system(s); |
| 110 | if (status != 0) { |
| 111 | std::cerr << "error: status " << status << ": " << s << '\n'; |
| 112 | exit(EXIT_FAILURE); |
| 113 | } |
| 114 | } |
| 115 | |
| 116 | string DB::getPath(const string& program) |
| 117 | { |