Searched defs:CONFIG_SITE (Results 1 - 1 of 1) sorted by relevance
| /external/bison/djgpp/ | ||
| H A D | config.bat | 180 set CONFIG_SITE=%XSRC%/djgpp/config.site
variable 181 if not "%CONFIG_SITE%" == "%XSRC%/djgpp/config.site" goto SmallEnv 477 set CONFIG_SITE= variable |
Completed in 69 milliseconds