idris-0.12.2: test/base001/sys.c

#include "sys.h"

#include <stdlib.h>

int WIFEXITED_(int status) {
  return WIFEXITED(status);
}

int WEXITSTATUS_(int status) {
  return WEXITSTATUS(status);
}