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