-/* Conditionally execute a command based on machine and OS from config.h */
-/* Boehm, November 21, 1994 1:40 pm PST */
-# include "config.h"
+/* Conditionally execute a command based on machine and OS from gcconfig.h */
+
+# include "private/gcconfig.h"
# include <stdio.h>
+# include <string.h>
+# include <unistd.h>
int main(argc, argv, envp)
int argc;
if (strcmp(MACH_TYPE, argv[1]) != 0) return(0);
if (strcmp(OS_TYPE, "") != 0 && strcmp(argv[2], "") != 0
&& strcmp(OS_TYPE, argv[2]) != 0) return(0);
- printf("^^^^Starting command^^^^\n");
+ fprintf(stderr, "^^^^Starting command^^^^\n");
+ fflush(stdout);
execvp(argv[3], argv+3);
perror("Couldn't execute");