mirror of
https://github.com/idris-lang/Idris2.git
synced 2024-12-20 18:21:47 +03:00
17 lines
289 B
C
17 lines
289 B
C
#include <stdlib.h>
|
|
|
|
#ifndef _WIN32
|
|
#include <sys/wait.h>
|
|
#endif
|
|
|
|
#include "idris_system.h"
|
|
|
|
int idris2_system(const char* command) {
|
|
int status = system(command);
|
|
#ifdef _WIN32
|
|
return status;
|
|
#else
|
|
return WIFEXITED(status) ? WEXITSTATUS(status) : -1;
|
|
#endif
|
|
}
|