Searched refs:extra_ (Results 1 – 4 of 4) sorted by relevance
40 lu_byte extra_[LUA_EXTRASPACE]; member
6966 * Makefile.def (bootstrap-stage): Rename extra_*_flags to
6855 * Makefile.def (bootstrap-stage): Rename extra_*_flags to
10310 * Makefile.def (bootstrap-stage): Rename extra_*_flags to