mirror/mariadb
1
0
Fork 0
mirror of https://github.com/MariaDB/server.git synced 2025-01-17 20:42:30 +01:00
Code Issues Projects Releases Packages Wiki Activity Actions

added file missing from release to EXTRA_DIST list (bug# 12733)

Browse source
This commit is contained in:
hartmut@mysql.com 2005-08-22 22:13:56 +02:00
parent c75cfc358e
commit 8859ab64d1
1 changed files with 1 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
BUILD/Makefile.am
View file

@ -19,6 +19,7 @@
EXTRA_DIST = FINISH.sh \
SETUP.sh \
autorun.sh \
check-cpu \
compile-alpha \
compile-alpha-ccc \