diff options
| author | Tristan Riehs <tristan.riehs@inria.fr> | 2026-07-05 18:30:38 +0200 |
|---|---|---|
| committer | Tristan Riehs <tristan.riehs@inria.fr> | 2026-07-05 18:30:38 +0200 |
| commit | 430bca8a0f166df268e2fa8fb207286640bd0602 (patch) | |
| tree | 8ebad4affc699ff53d8061f332e13299c315ddba /src/system.c | |
| parent | cc96dd40bc1710cd20cc64f2f36622a1f01f174a (diff) | |
Add a sys_check routine
Diffstat (limited to 'src/system.c')
| -rw-r--r-- | src/system.c | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/src/system.c b/src/system.c index df53e99..2f95661 100644 --- a/src/system.c +++ b/src/system.c @@ -10,6 +10,16 @@ #include <unistd.h> #include "system.h" +#include "utils.h" + +void __sys_check(int cond, const char *prefix, const char *file, int line) +{ + if (!cond) { + fprintf(stderr, "%s:%d: %s: ", file, line, prefix); + perror(""); + exit(EXIT_FAILURE); + } +} int file_exists(const char *path) { |