mirror of
https://github.com/MariaDB/server.git
synced 2025-01-21 06:22:28 +01:00
40 lines
628 B
Bash
Executable file
40 lines
628 B
Bash
Executable file
#! /bin/sh
|
|
|
|
# debug
|
|
#set -x
|
|
|
|
# stop on errors
|
|
set -e
|
|
|
|
path=`dirname $0`
|
|
|
|
# clean
|
|
if test -e "Makefile"; then make -k clean; fi
|
|
|
|
# remove files
|
|
rm -f */.deps/*.P
|
|
rm -rf Makefile.in.bk
|
|
|
|
# Setup Metrowerks environment
|
|
. $path/mwenv
|
|
|
|
# Run autotools(use BUILD/autorun.sh)
|
|
. BUILD/autorun.sh
|
|
|
|
# configure
|
|
./configure $base_configs $extra_configs
|
|
|
|
# make
|
|
make clean bin-dist
|
|
|
|
# mark the build
|
|
for file in *.tar.gz *.zip
|
|
do
|
|
if (expr "$file" : "mysql-[1-9].*" > /dev/null)
|
|
then
|
|
new_file=`echo $file | sed -e "s/mysql-/mysql-$suffix-/"`
|
|
if test -e "$new_file"; then mv -f $new_file $new_file.old; fi
|
|
mv $file $new_file
|
|
fi
|
|
done
|
|
|