Searched refs:cmd_line (Results 1 - 3 of 3) sorted by relevance

/seL4-l4v-10.1.1/isabelle/Admin/Linux/
H A DIsabelle.c22 char **cmd_line = NULL; local
25 cmd_line = malloc(sizeof(char *) * (argc + 1));
26 if (cmd_line == NULL) fail("Failed to allocate command line");
28 cmd_line[0] = malloc(strlen(argv[0]) + 5);
29 if (cmd_line[0] == NULL) fail("Failed to allocate command line");
31 strcpy(cmd_line[0], argv[0]);
32 strcat(cmd_line[0], ".run");
34 for (i = 1; i < argc; i++) cmd_line[i] = argv[i];
36 cmd_line[argc] = NULL;
38 execvp(cmd_line[
[all...]
/seL4-l4v-10.1.1/l4v/isabelle/Admin/Linux/
H A DIsabelle.c22 char **cmd_line = NULL; local
25 cmd_line = malloc(sizeof(char *) * (argc + 1));
26 if (cmd_line == NULL) fail("Failed to allocate command line");
28 cmd_line[0] = malloc(strlen(argv[0]) + 5);
29 if (cmd_line[0] == NULL) fail("Failed to allocate command line");
31 strcpy(cmd_line[0], argv[0]);
32 strcat(cmd_line[0], ".run");
34 for (i = 1; i < argc; i++) cmd_line[i] = argv[i];
36 cmd_line[argc] = NULL;
38 execvp(cmd_line[
[all...]
/seL4-l4v-10.1.1/HOL4/tools/Holmake/poly/
H A DBuildCommand.sml24 datatype cmd_line = Mosml_compile of File list * string type

Completed in 43 milliseconds