database/mariadb
1
0
Fork 0
mirror of https://github.com/MariaDB/server.git synced 2025-11-08 00:28:29 +03:00
Code Activity
Files
762d5cf10ebef0fb38d65d9707ccf8d110e54e9c
mariadb/scripts/make_binary_distribution.sh
Joerg Bruehe b89c1f6333 Upmerge a bug fix from 5.0 to 5.1: 
bug#37808
"make_binary_distribution" does not always generate correct names

Successfully tested on 5.1 sources.
2009-07-21 09:36:43 +02:00

18 KiB
Raw Blame History

View Raw
View Git Blame Copy Permalink