6 #include <shell-tools.c>
8 int main(int argc, char **argv) {
10 args = malloc(sizeof(char *) * (argc + 4));
12 fprintf(stderr, "Malloc failed\n");
15 args[0] = "GHC_PATH"; /* Gets replaced by sed */
16 args[1] = "-BTOP_ABS"; /* Gets replaced by sed */
19 if ((argc >= 2) && (strcmp(argv[1], "-v") == 0)) {
20 printf("Using %s %s %s %s\n", args[0], args[1], args[2], args[3]);
23 memcpy(args + 4, argv + 1, sizeof(char *) * (argc - 1));
26 "GHC_PATH", /* Gets replaced by sed */