if (args == NULL) {
fprintf(stderr, "Malloc failed\n");
exit(1);
}
args[0] = "GHC_PATH"; /* Gets replaced by sed */
args[1] = "-BTOP_ABS"; /* Gets replaced by sed */
if (args == NULL) {
fprintf(stderr, "Malloc failed\n");
exit(1);
}
args[0] = "GHC_PATH"; /* Gets replaced by sed */
args[1] = "-BTOP_ABS"; /* Gets replaced by sed */