mirror of
https://github.com/MariaDB/server.git
synced 2025-01-18 04:53:01 +01:00
Add missign header file to make dist
.
This commit is contained in:
parent
6cc803f035
commit
51da40e45e
1 changed files with 2 additions and 1 deletions
|
@ -131,7 +131,8 @@ noinst_HEADERS= include/btr0btr.h include/btr0btr.ic \
|
|||
include/ut0list.ic include/ut0wqueue.h \
|
||||
include/ha_prototypes.h handler/ha_innodb.h \
|
||||
include/handler0alter.h \
|
||||
handler/i_s.h handler/innodb_patch_info.h
|
||||
handler/i_s.h handler/innodb_patch_info.h \
|
||||
handler/handler0vars.h
|
||||
|
||||
EXTRA_LIBRARIES= libinnobase.a
|
||||
noinst_LIBRARIES= @plugin_innobase_static_target@
|
||||
|
|
Loading…
Reference in a new issue