#define _GNU_SOURCE #include #include #include int main (int argc, char **argv) { file_t file; if (argc < 2) error (1, 0, "Usage: %s ", argv[0]); file = file_name_lookup (argv[1], O_RDONLY | O_NOFOLLOW, 0); if (file == MACH_PORT_NULL) error (1, errno, "error when opening %s", argv[1]); return 0; }