122 int main(int argc, char **argv) {

   122 int main(int argc, char **argv) {

   123   symbol_c *tree_root;

   123   symbol_c *tree_root;

   124   char * builddir = NULL;

   124   char * builddir = NULL;

   125   stage1_2_options_t stage1_2_options = {false, false, NULL};

   125   stage1_2_options_t stage1_2_options = {false, false, NULL};

   126   int optres, errflg = 0;

   126   int optres, errflg = 0;

   127 /*

   128 /*

   128   extern char *optarg;

   129   extern char *optarg;

   129   extern int optind, optopt;

   130   extern int optind, optopt;

   130 */

   131 */

   131 

   132 

   146       break;

   147       break;

   147     case 's':

   148     case 's':

   148       stage1_2_options.safe_extensions = true;

   149       stage1_2_options.safe_extensions = true;

   149       break;

   150       break;

   150     case 'I':

   151     case 'I':

   151       stage1_2_options.includedir = optarg;

   159       stage1_2_options.includedir = optarg;

   152       break;

   160       break;

   153     case 'T':

   161     case 'T':

   154       builddir = optarg;

   165       builddir = optarg;

   155       break;

   166       break;

   156     case ':':       /* -I or -T without operand */

   167     case ':':       /* -I or -T without operand */

   157       fprintf(stderr, "Option -%c requires an operand\n", optopt);

   168       fprintf(stderr, "Option -%c requires an operand\n", optopt);

   158       errflg++;

   169       errflg++;