mirror of
https://github.com/MariaDB/server.git
synced 2026-05-14 10:57:54 +02:00
- Rename the *.cnf files to *.ini for the Windows source distribution
This commit is contained in:
parent
ef40ba04e8
commit
b91838fcfd
1 changed files with 7 additions and 1 deletions
|
|
@ -294,7 +294,13 @@ done
|
|||
# support files
|
||||
#
|
||||
mkdir $BASE/support-files
|
||||
cp support-files/*.cnf $BASE/support-files
|
||||
|
||||
# Rename the cnf files to <file>.ini
|
||||
for i in support-files/*.cnf
|
||||
do
|
||||
i=`echo $i | sed 's/.cnf$//g'`
|
||||
cp $i.cnf $BASE/$i.ini
|
||||
done
|
||||
|
||||
#
|
||||
# Raw dirs from source tree
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue