} else if(strcmp(argv[i], "--no-touch-headers")==0) {
no_touch_headers = TRUE;
} else if(strcmp(argv[i], "--ondemand-private-header")==0) {
} else if(strcmp(argv[i], "--no-touch-headers")==0) {
no_touch_headers = TRUE;
} else if(strcmp(argv[i], "--ondemand-private-header")==0) {
} else if(strcmp(argv[i], "--no-gnu")==0) {
no_gnu = TRUE;
} else if(strcmp(argv[i], "--no-extern-c")==0) {
} else if(strcmp(argv[i], "--no-gnu")==0) {
no_gnu = TRUE;
} else if(strcmp(argv[i], "--no-extern-c")==0) {