mirror of
https://github.com/MariaDB/server.git
synced 2025-01-21 06:22:28 +01:00
MariaDB server is a community developed fork of MySQL server. Started by core members of the original MySQL team, MariaDB actively works with outside developers to deliver the most featureful, stable, and sanely licensed open SQL server in the industry.
amazon-web-servicesdatabasefulltext-searchgalerageographical-information-systeminnodbjsonmariadbmysqlrdbmsrelational-databasessqlstorage-enginevector-database
fe5e0b7245
pars/pars0grm.h: Remove. The primary file is include/pars0grm.h. pars/make_bison.sh: Add from trunk. Somehow, this file was not merged at the same time with make_flex.sh. Add sed magic for replacing the file name and for hiding yychars, yynerrs, yylval, and yyparse. pars/pars0grm.c: Apply the changes made by make_bison.sh. |
||
---|---|---|
btr | ||
buf | ||
data | ||
dict | ||
dyn | ||
eval | ||
fil | ||
fsp | ||
fut | ||
ha | ||
handler | ||
ibuf | ||
include | ||
lock | ||
log | ||
mach | ||
mem | ||
mtr | ||
mysql-test | ||
os | ||
page | ||
pars | ||
que | ||
read | ||
rem | ||
row | ||
scripts | ||
srv | ||
sync | ||
thr | ||
trx | ||
usr | ||
ut | ||
CMakeLists.txt | ||
compile-innodb | ||
compile-innodb-debug | ||
innodb.patch | ||
Makefile.am | ||
plug.in | ||
revert_gen.sh | ||
setup.sh |