Searched refs:zInputFile (Results 1 – 1 of 1) sorted by relevance
59 const char *zInputFile = 0; /* Name of the input file */ in main() local95 }else if( zInputFile ){ in main()99 zInputFile = argv[i]; in main()102 if( zInputFile==0 ){ in main()111 in = fopen(zInputFile, "rb"); in main()113 fprintf(stderr, "Cannot open input file [%s]\n", zInputFile); in main()157 zBaseName = zInputFile; in main()158 for(i=0; zInputFile[i]; i++){ in main()159 if( zInputFile[i]=='/' && zInputFile[i+1]!=0 ) zBaseName = zInputFile+i+1; in main()