mirror of
https://github.com/MariaDB/server.git
synced 2026-05-07 15:45:33 +02:00
3 lines
102 B
Makefile
3 lines
102 B
Makefile
|
|
VERSION_FLAGS := -DNDB_RELEASE -DUSE_EMULATED_JAM -DNDEBUG -DVM_TRACE -DERROR_INSERT -DARRAY_GUARD
|
|
|