main.cc
changeset 179 a4eb4fd6b0d6
parent 178 1622dc05c6ca
child 181 38d6eb056260
equal deleted inserted replaced
178:1622dc05c6ca 179:a4eb4fd6b0d6
   123       stage1_2_options.safe_extensions = true;
   123       stage1_2_options.safe_extensions = true;
   124       break;
   124       break;
   125     case 'I':
   125     case 'I':
   126       stage1_2_options.includedir = optarg;
   126       stage1_2_options.includedir = optarg;
   127       break;
   127       break;
       
   128     case 'T':
       
   129       builddir = optarg;
       
   130       break;
   128     case ':':       /* -I or -T without operand */
   131     case ':':       /* -I or -T without operand */
   129       fprintf(stderr, "Option -%c requires an operand\n", optopt);
   132       fprintf(stderr, "Option -%c requires an operand\n", optopt);
   130       errflg++;
   133       errflg++;
   131       break;
   134       break;
   132     case '?':
   135     case '?':