1
0
mirror of https://github.com/MariaDB/server.git synced 2025-07-30 16:24:05 +03:00

add missing file to EXTRA_DIST

This commit is contained in:
Vladislav Vaintroub
2009-12-18 01:32:01 +01:00
parent e348453395
commit c7d19daba5

View File

@ -20,4 +20,5 @@ EXTRA_DIST = \
do_abi_check.cmake \
merge_archives_unix.cmake.in \
dtrace_prelink.cmake \
versioninfo.rc.in
versioninfo.rc.in \
mysql_add_executable.cmake